pal.treesearch
Class GeneralConstraintGroupManager.Store

java.lang.Object
  extended by pal.treesearch.GeneralConstraintGroupManager.Store
Enclosing class:
GeneralConstraintGroupManager

public static final class GeneralConstraintGroupManager.Store
extends java.lang.Object


Constructor Summary
GeneralConstraintGroupManager.Store()
           
 
Method Summary
 GeneralConstraintGroupManager getConstraintGroupManager(ConstraintModel.GroupManager grouping)
           
 GeneralConstraintGroupManager getConstraintGroupManager(java.lang.String[] leafLabelSet, ConstraintModel constraints)
           
 GeneralConstraintGroupManager[] getConstraintGroupManagers()
           
 void setupConstraintGroupManagers()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

GeneralConstraintGroupManager.Store

public GeneralConstraintGroupManager.Store()
Method Detail

getConstraintGroupManagers

public final GeneralConstraintGroupManager[] getConstraintGroupManagers()

getConstraintGroupManager

public final GeneralConstraintGroupManager getConstraintGroupManager(java.lang.String[] leafLabelSet,
                                                                     ConstraintModel constraints)

getConstraintGroupManager

public final GeneralConstraintGroupManager getConstraintGroupManager(ConstraintModel.GroupManager grouping)

setupConstraintGroupManagers

public void setupConstraintGroupManagers()