pal.treesearch
Class GeneralConstraintGroupManager.Store

java.lang.Object
  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()