Uses of Class
minicp.engine.core.AbstractConstraint

Packages that use AbstractConstraint

Package	Description
minicp.engine.constraints	Constraints
minicp.engine.core	Solver objects

Uses of AbstractConstraint in minicp.engine.constraints

Subclasses of AbstractConstraint in minicp.engine.constraints

Modifier and Type	Class and Description
class	Absolute Absolute value constraint
class	AllDifferentAC Arc Consistent AllDifferent Constraint Algorithm described in "A filtering algorithm for constraints of difference in CSPs" J-C.
class	AllDifferentBinary
class	Circuit Hamiltonian Circuit Constraint with a successor model
class	Cumulative Cumulative constraint with time-table filtering
class	CumulativeDecomposition Cumulative constraint with sum decomposition (very slow).
class	Disjunctive Disjunctive Scheduling Constraint: Any two pairs of activities cannot overlap in time.
class	Element1D Element Constraint modeling array[y] = z
class	Element1DVar
class	Element2D Element Constraint modeling matrix[x][y] = z
class	IsEqual Reified equality constraint
class	IsLessOrEqual Reified less or equal constraint.
class	IsLessOrEqualVar Reified is less or equal constraint b <=> x <= y.
class	IsOr Reified logical or constraint
class	LessOrEqual Less or equal constraint between two variables
class	Maximum Maximum Constraint
class	NegTableCT Negative table constraint
class	NotEqual Not Equal constraint between two variables
class	Or Logical or constraint x1 or x2 or ... xn
class	ShortTableCT Table constraint with short tuples (having * entries)
class	ShortTableDecomp Decomposition of table constraint with short tuples (having * entries)
class	Sum Sum Constraint
class	TableCT Implementation of Compact Table algorithm described in Compact-Table: Efficiently Filtering Table Constraints with Reversible Sparse Bit-Sets Jordan Demeulenaere, Renaud Hartert, Christophe Lecoutre, Guillaume Perez, Laurent Perron, Jean-Charles Régin, Pierre Schaus See The article.
class	TableDecomp

Uses of AbstractConstraint in minicp.engine.core

Subclasses of AbstractConstraint in minicp.engine.core

Modifier and Type	Class and Description
class	ConstraintClosure