Package minicp.engine.core

package minicp.engine.core

Solver objects

Related Packages

Package	Description
minicp.engine	Solver and Constraint objects
minicp.engine.constraints	Constraints

Class	Description
AbstractConstraint	Abstract class the most of the constraints should extend.
BoolVar	Boolean variable, that can be used as a 0-1 IntVar
BoolVarImpl
BoolVarIsEqual
Constraint	Interface implemented by every Constraint
ConstraintClosure
DomainListener	Domain listeners are passed as argument to the IntDomain modifier methods.
IntDomain	Interface for integer domain implementation.
IntVar
IntVarImpl	Implementation of a variable with a SparseSetDomain.
IntVarViewMul	A view on a variable of type a*x
IntVarViewOffset	A view on a variable of type x+o
IntVarViewOpposite	A view on a variable of type -x
MiniCP
Minimize	Minimization objective function
Solver
SparseSetDomain	Implementation of a domain with a sparse-set