Package choco.bool

A package devoted to propagation over Boolean combinations of constraints

See:
Description

Interface Summary

BoolConstraint	Boolean constraints are composite constraints who maintain for each sub-constraint: a status {unknown, true, false} indicating whether the subconstraint has been proven true or false a targetStatus {unknown, true, false} indicating whether the subconstraint should be true (in which case it is propagated) or false (in which case its opposite is propagated)
CompositeConstraint	An interface for all implementations of listeners using search variables.

Class Summary

AbstractBinBoolConstraint	An abstract class for binary Boolean composition
AbstractBinBoolConstraintWithCounterOpposite	An abstract class storing the counterpart of each subconstraint + an index correspondence for variables (between subconstraints and opposite subconstraints)
AbstractBinCompositeConstraint	Abstract implementation of a composite constraint (like boolean ones) involving two sub-constraints.
AbstractCompositeConstraint	An abstract class for all implementations of listeners over search variables.
AbstractLargeBoolConstraint	An abstract class for Boolean composition of more than two constraints
AbstractLargeBoolConstraintWithCounterOpposite	An abstract class storing the counterpart of each subconstraint + an index correspondence for variables (between subconstraints and opposite subconstraints)
AbstractLargeCompositeConstraint
BinConjunction	A class for Conjunctions (only used in subterms of Boolean formulae (c1 and c2)
BinDisjunction
Cardinality	A class for cardinality/atleast/atmost constraints (constraints modelling by a domain variable the number of subconstraints that are true among a list
ConstantConstraint
Equiv	A class for equivalences (c1 if and only if c2)
Guard	A class for implications (if (c1,c2)) propagated in a lazy way (nothing done until c1 proven true)
LargeConjunction
LargeDisjunction

Package choco.bool Description

A package devoted to propagation over Boolean combinations of constraints.

Related Documentation

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

• Link