/** * Get the size of the beta memory (including indexed memories). * @return The size of the memory. */ public int size() { int ret = resultmem!=null? resultmem.size(): 0; if(xmems!=null) { for(Iterator it=xmems.keySet().iterator(); it.hasNext();) { IndexedConstraintMemory icm = getIndexedMemory((ConstraintIndexer)it.next()); ret += icm.size(); } } return ret; }
/** * Get the size of the beta memory (including indexed memories). * @return The size of the memory. */ public int size() { int ret = resultmem!=null? resultmem.size(): 0; if(xmems!=null) { for(Iterator it=xmems.keySet().iterator(); it.hasNext();) { IndexedConstraintMemory icm = getIndexedMemory((ConstraintIndexer)it.next()); ret += icm.size(); } } return ret; }