org.clafer.choco.constraint

Class OrConstraint

java.lang.Object

solver.constraints.Constraint<solver.variables.Variable,solver.constraints.Propagator<solver.variables.Variable>>

org.clafer.choco.constraint.OrConstraint

All Implemented Interfaces:

Serializable, solver.propagation.IPriority

public class OrConstraint
extends solver.constraints.Constraint<solver.variables.Variable,solver.constraints.Propagator<solver.variables.Variable>>

Boolean or. The difference between this constraint and the one provided by the library is that this one does not reify to boolean variables, thus it can be added after the search has started. The one provided in the library requires dynamic variable addition which is not supported.

Author:

jimmy

See Also:

Serialized Form

Field Summary

Fields inherited from class solver.constraints.Constraint

propagators, solver, staticPropagationPriority, vars

Constructor Summary

Constructors

Constructor and Description
OrConstraint(solver.constraints.Constraint... constraints)

Method Summary

Methods inherited from class solver.constraints.Constraint

addPropagators, contradiction, declare, getOpposite, getPriority, getPropagator, getPropagators, getSolver, getVariables, isEntailed, isReified, isSatisfied, makeOpposite, reif, reifyWith, setPropagators, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

OrConstraint

public OrConstraint(solver.constraints.Constraint... constraints)