Uses of Package
org.chocosolver.solver.constraints

Packages that use org.chocosolver.solver.constraints

Package	Description
org.chocosolver.sat
org.chocosolver.solver	A package devoted to Model and resolution tools.
org.chocosolver.solver.constraints
org.chocosolver.solver.constraints.binary
org.chocosolver.solver.constraints.binary.element
org.chocosolver.solver.constraints.extension.binary
org.chocosolver.solver.constraints.extension.nary
org.chocosolver.solver.constraints.nary
org.chocosolver.solver.constraints.nary.alldifferent
org.chocosolver.solver.constraints.nary.alldifferent.algo
org.chocosolver.solver.constraints.nary.alldifferent.conditions
org.chocosolver.solver.constraints.nary.among
org.chocosolver.solver.constraints.nary.automata
org.chocosolver.solver.constraints.nary.automata.structure.costregular
org.chocosolver.solver.constraints.nary.automata.structure.multicostregular
org.chocosolver.solver.constraints.nary.binPacking
org.chocosolver.solver.constraints.nary.channeling
org.chocosolver.solver.constraints.nary.circuit
org.chocosolver.solver.constraints.nary.cnf
org.chocosolver.solver.constraints.nary.count
org.chocosolver.solver.constraints.nary.cumulative
org.chocosolver.solver.constraints.nary.element
org.chocosolver.solver.constraints.nary.globalcardinality
org.chocosolver.solver.constraints.nary.lex
org.chocosolver.solver.constraints.nary.min_max
org.chocosolver.solver.constraints.nary.nogood
org.chocosolver.solver.constraints.nary.nvalue
org.chocosolver.solver.constraints.nary.nvalue.amnv.rules
org.chocosolver.solver.constraints.nary.sort
org.chocosolver.solver.constraints.nary.sum
org.chocosolver.solver.constraints.nary.tree
org.chocosolver.solver.constraints.real
org.chocosolver.solver.constraints.reification
org.chocosolver.solver.constraints.set
org.chocosolver.solver.constraints.ternary
org.chocosolver.solver.constraints.unary
org.chocosolver.solver.explanations
org.chocosolver.solver.expression.continuous.relational
org.chocosolver.solver.expression.discrete.logical
org.chocosolver.solver.expression.discrete.relational
org.chocosolver.solver.propagation
org.chocosolver.solver.variables
org.chocosolver.solver.variables.impl

Classes in org.chocosolver.solver.constraints used by org.chocosolver.sat

Class and Description
Propagator A Propagator class defines methods to react on a Variable objects modifications.

Classes in org.chocosolver.solver.constraints used by org.chocosolver.solver

Class and Description
Constraint A Constraint is basically a set of Propagator.
IConstraintFactory Interface to make constraints over BoolVar, IntVar, RealVar and SetVar A kind of factory relying on interface default implementation to allow (multiple) inheritance
IIntConstraintFactory Interface to make constraints over BoolVar and IntVar A kind of factory relying on interface default implementation to allow (multiple) inheritance
IRealConstraintFactory Interface to make constraints over RealVar A kind of factory relying on interface default implementation to allow (multiple) inheritance
IReificationFactory Interface to reify constraints A kind of factory relying on interface default implementation to allow (multiple) inheritance
ISatFactory A factory dedicated to SAT.
ISetConstraintFactory Interface to make constraints over SetVar A kind of factory relying on interface default implementation to allow (multiple) inheritance

Classes in org.chocosolver.solver.constraints used by org.chocosolver.solver.constraints

Class and Description
Constraint A Constraint is basically a set of Propagator.
Constraint.Status Status of this constraint wrt the model
IIntConstraintFactory Interface to make constraints over BoolVar and IntVar A kind of factory relying on interface default implementation to allow (multiple) inheritance
IRealConstraintFactory Interface to make constraints over RealVar A kind of factory relying on interface default implementation to allow (multiple) inheritance
ISetConstraintFactory Interface to make constraints over SetVar A kind of factory relying on interface default implementation to allow (multiple) inheritance
Operator
Propagator A Propagator class defines methods to react on a Variable objects modifications.
PropagatorPriority

Classes in org.chocosolver.solver.constraints used by org.chocosolver.solver.constraints.binary

Class and Description
Operator
Propagator A Propagator class defines methods to react on a Variable objects modifications.

Classes in org.chocosolver.solver.constraints used by org.chocosolver.solver.constraints.binary.element

Class and Description
Constraint A Constraint is basically a set of Propagator.

Classes in org.chocosolver.solver.constraints used by org.chocosolver.solver.constraints.extension.binary

Class and Description
Propagator A Propagator class defines methods to react on a Variable objects modifications.

Classes in org.chocosolver.solver.constraints used by org.chocosolver.solver.constraints.extension.nary

Class and Description
Propagator A Propagator class defines methods to react on a Variable objects modifications.

Classes in org.chocosolver.solver.constraints used by org.chocosolver.solver.constraints.nary

Class and Description
Propagator A Propagator class defines methods to react on a Variable objects modifications.

Classes in org.chocosolver.solver.constraints used by org.chocosolver.solver.constraints.nary.alldifferent

Class and Description
Constraint A Constraint is basically a set of Propagator.
Propagator A Propagator class defines methods to react on a Variable objects modifications.

Classes in org.chocosolver.solver.constraints used by org.chocosolver.solver.constraints.nary.alldifferent.algo

Class and Description
Propagator A Propagator class defines methods to react on a Variable objects modifications.

Classes in org.chocosolver.solver.constraints used by org.chocosolver.solver.constraints.nary.alldifferent.conditions

Class and Description
Propagator A Propagator class defines methods to react on a Variable objects modifications.

Classes in org.chocosolver.solver.constraints used by org.chocosolver.solver.constraints.nary.among

Class and Description
Propagator A Propagator class defines methods to react on a Variable objects modifications.

Classes in org.chocosolver.solver.constraints used by org.chocosolver.solver.constraints.nary.automata

Class and Description
Constraint A Constraint is basically a set of Propagator.
Propagator A Propagator class defines methods to react on a Variable objects modifications.

Classes in org.chocosolver.solver.constraints used by org.chocosolver.solver.constraints.nary.automata.structure.costregular

Class and Description
Propagator A Propagator class defines methods to react on a Variable objects modifications.

Classes in org.chocosolver.solver.constraints used by org.chocosolver.solver.constraints.nary.automata.structure.multicostregular

Class and Description
Propagator A Propagator class defines methods to react on a Variable objects modifications.

Classes in org.chocosolver.solver.constraints used by org.chocosolver.solver.constraints.nary.binPacking

Class and Description
Propagator A Propagator class defines methods to react on a Variable objects modifications.

Classes in org.chocosolver.solver.constraints used by org.chocosolver.solver.constraints.nary.channeling

Class and Description
Propagator A Propagator class defines methods to react on a Variable objects modifications.

Classes in org.chocosolver.solver.constraints used by org.chocosolver.solver.constraints.nary.circuit

Class and Description
Propagator A Propagator class defines methods to react on a Variable objects modifications.

Classes in org.chocosolver.solver.constraints used by org.chocosolver.solver.constraints.nary.cnf

Class and Description
Constraint A Constraint is basically a set of Propagator.
Propagator A Propagator class defines methods to react on a Variable objects modifications.

Classes in org.chocosolver.solver.constraints used by org.chocosolver.solver.constraints.nary.count

Class and Description
Propagator A Propagator class defines methods to react on a Variable objects modifications.

Classes in org.chocosolver.solver.constraints used by org.chocosolver.solver.constraints.nary.cumulative

Class and Description
Constraint A Constraint is basically a set of Propagator.
Propagator A Propagator class defines methods to react on a Variable objects modifications.

Classes in org.chocosolver.solver.constraints used by org.chocosolver.solver.constraints.nary.element

Class and Description
Propagator A Propagator class defines methods to react on a Variable objects modifications.

Classes in org.chocosolver.solver.constraints used by org.chocosolver.solver.constraints.nary.globalcardinality

Class and Description
Constraint A Constraint is basically a set of Propagator.
Propagator A Propagator class defines methods to react on a Variable objects modifications.

Classes in org.chocosolver.solver.constraints used by org.chocosolver.solver.constraints.nary.lex

Class and Description
Propagator A Propagator class defines methods to react on a Variable objects modifications.

Classes in org.chocosolver.solver.constraints used by org.chocosolver.solver.constraints.nary.min_max

Class and Description
Propagator A Propagator class defines methods to react on a Variable objects modifications.

Classes in org.chocosolver.solver.constraints used by org.chocosolver.solver.constraints.nary.nogood

Class and Description
Constraint A Constraint is basically a set of Propagator.

Classes in org.chocosolver.solver.constraints used by org.chocosolver.solver.constraints.nary.nvalue

Class and Description
Propagator A Propagator class defines methods to react on a Variable objects modifications.

Classes in org.chocosolver.solver.constraints used by org.chocosolver.solver.constraints.nary.nvalue.amnv.rules

Class and Description
Propagator A Propagator class defines methods to react on a Variable objects modifications.

Classes in org.chocosolver.solver.constraints used by org.chocosolver.solver.constraints.nary.sort

Class and Description
Propagator A Propagator class defines methods to react on a Variable objects modifications.

Classes in org.chocosolver.solver.constraints used by org.chocosolver.solver.constraints.nary.sum

Class and Description
Constraint A Constraint is basically a set of Propagator.
Operator
Propagator A Propagator class defines methods to react on a Variable objects modifications.
PropagatorPriority

Classes in org.chocosolver.solver.constraints used by org.chocosolver.solver.constraints.nary.tree

Class and Description
Propagator A Propagator class defines methods to react on a Variable objects modifications.

Classes in org.chocosolver.solver.constraints used by org.chocosolver.solver.constraints.real

Class and Description
Constraint A Constraint is basically a set of Propagator.
Operator
Propagator A Propagator class defines methods to react on a Variable objects modifications.

Classes in org.chocosolver.solver.constraints used by org.chocosolver.solver.constraints.reification

Class and Description
Constraint A Constraint is basically a set of Propagator.
Propagator A Propagator class defines methods to react on a Variable objects modifications.
ReificationConstraint Implication constraint: boolean b => constraint c Also known as half reification

Classes in org.chocosolver.solver.constraints used by org.chocosolver.solver.constraints.set

Class and Description
Propagator A Propagator class defines methods to react on a Variable objects modifications.

Classes in org.chocosolver.solver.constraints used by org.chocosolver.solver.constraints.ternary

Class and Description
Propagator A Propagator class defines methods to react on a Variable objects modifications.

Classes in org.chocosolver.solver.constraints used by org.chocosolver.solver.constraints.unary

Class and Description
Constraint A Constraint is basically a set of Propagator.
Propagator A Propagator class defines methods to react on a Variable objects modifications.

Classes in org.chocosolver.solver.constraints used by org.chocosolver.solver.explanations

Class and Description
Propagator A Propagator class defines methods to react on a Variable objects modifications.

Classes in org.chocosolver.solver.constraints used by org.chocosolver.solver.expression.continuous.relational

Class and Description
Constraint A Constraint is basically a set of Propagator.

Classes in org.chocosolver.solver.constraints used by org.chocosolver.solver.expression.discrete.logical

Class and Description
Constraint A Constraint is basically a set of Propagator.

Classes in org.chocosolver.solver.constraints used by org.chocosolver.solver.expression.discrete.relational

Class and Description
Constraint A Constraint is basically a set of Propagator.

Classes in org.chocosolver.solver.constraints used by org.chocosolver.solver.propagation

Class and Description
Propagator A Propagator class defines methods to react on a Variable objects modifications.

Classes in org.chocosolver.solver.constraints used by org.chocosolver.solver.variables

Class and Description
Propagator A Propagator class defines methods to react on a Variable objects modifications.

Classes in org.chocosolver.solver.constraints used by org.chocosolver.solver.variables.impl

Class and Description
Propagator A Propagator class defines methods to react on a Variable objects modifications.