Package org.chocosolver.solver.constraints.extension.nary

Class Summary

Class	Description
FastBooleanValidityChecker
LargeRelation
PropCompactTable	Propagator for table constraint based on "Compact-Table: Efficiently Filtering Table Constraints with Reversible Sparse Bit-Sets" Only for feasible Tuples
PropCompactTableStar	Propagator for table constraint based on "Extending Compact-Table to Negative and Short Tables", H.
PropLargeCSP<R extends LargeRelation>
PropLargeFC
PropLargeGAC2001
PropLargeGAC2001Positive
PropLargeGAC3rm
PropLargeGAC3rmPositive
PropLargeGACSTRPos	GAC maintaind by STR
PropLargeMDDC	Implementation based on "Maintaining GAC on adhoc r-ary constraints", Cheng and Yap, CP12.
PropTableStr2	STR2 Propagator for table constraints (only positive tuples)
TuplesLargeTable
TuplesList	A simple way of storing the tuples as a list.
TuplesTable
TuplesVeryLargeTable	A LargeRelation for cases where domain are too big to be stored in a single array.
ValidityChecker	A simple class that provides a method to check if a given tuple is valid i.e.