Package minicp.engine.core

Solver objects

See: Description

Interface Summary

Interface	Description
BoolVar	Boolean variable, that can be used as a 0-1 IntVar.
Constraint	Interface implemented by every Constraint
DomainListener	Domain listeners are passed as argument to the IntDomain modifier methods.
IntDomain	Interface for integer domain implementation.
IntVar
Solver

Class Summary

Class	Description
AbstractConstraint	Abstract class the most of the constraints should extend.
BoolVarImpl
BoolVarIsEqual
ConstraintClosure
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
SparseSetDomain	Implementation of a domain with a sparse-set

Package minicp.engine.core Description

Solver objects