public int getNumPropAttr() { return getNumRegions() * propStrategy.getNumPropAttrPerRegion(); }
/** Update the list of attributes, with the new nodeCount */ private void UpdateAttrInfo() { attrInfo = propStrategy.getPropAttributes(getNumRegions()); }