Package choco

The root package for the Constraint Programming Kernel

See:
Description

Interface Summary

BoolModeler
Constraint
ConstraintCollection	An interface for handling collections (sets/sequences) of constraints.
Entity	An interface for all objects from constraint programs.
IntModeler	An interface for all methods related modelling constraint programs over search domains
Propagator	An interface for all implementations of listeners.
Var	Interface for all implementations of domain variables.

Class Summary

AbstractConstraint	An abstract class for all implementations of listeners
AbstractEntity	An overall root abstract class.
AbstractModel
AbstractProblem
AbstractSolver	An abstract class handling the control for solving a problem
AbstractVar	An abstract class for all implementations of domain variables.
Formula	a class that is used to represent a syntatic formula involving unknowns.
Problem	A problem is a global structure containing variables bound by listeners as well as solutions or solver parameters
Solution	A class storing a state of the problem
Solver	This class serves both as a factory and as a handler for AbstractGlobalSearchSolvers:

Exception Summary

ContradictionException

An exception thrown when a contradiction achieved.

Package choco Description

The root package for the Constraint Programming Kernel.

Related Documentation

For tutorials, examples, documentation and technical notes, see:

• Link