Package choco.cp.solver.constraints.integer.extension

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
 



Copyright © 2012. All Rights Reserved.