Class GeneralConstraintGroupManager.Store

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

public static final class GeneralConstraintGroupManager.Store extends Object