Module org.chocosolver
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 TuplesPropCompactTableStar 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 STRPropLargeMDDC 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. if it is ok regarding the current domain of the variables