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