|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Class Summary | |
---|---|
AC2001BinSConstraint | |
AC3BinSConstraint | |
AC3rmBinSConstraint | The AC3rm algorithm. |
AC3rmBitBinSConstraint | |
CspLargeSConstraint | |
FastBooleanValidityChecker | |
FastValidityChecker | |
FCBinSConstraint | A binary constraint for simple forward checking |
GAC2001LargeSConstraint | GAC 2001 in valid tuples (do not support bound variables) |
GAC2001PositiveLargeConstraint | GAC2001 in allowed tuples |
GAC3rmLargeConstraint | |
GAC3rmPositiveLargeConstraint | GAC3rm (GAC3 with residual supports) |
GACstrPositiveLargeSConstraint | GAC maintained by STR |
ValidityChecker | A simple class that provides a method to check if a given tuple is valid i.e. if it is ok regarding the current domain of the variables |
ValidityChecker.VarComparator | Sort the variables by domain size |
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |