Module org.chocosolver.solver

Package org.chocosolver.solver.constraints.reification

Class LocalConstructiveDisjunction

java.lang.Object

org.chocosolver.solver.constraints.Constraint

org.chocosolver.solver.constraints.reification.LocalConstructiveDisjunction

public class LocalConstructiveDisjunction
extends Constraint

Project: choco.

Since:

25/02/2016.

Author:

Charles Prud'homme

Nested Class Summary

Nested classes/interfaces inherited from class org.chocosolver.solver.constraints.Constraint

Constraint.Status

Field Summary

Fields inherited from class org.chocosolver.solver.constraints.Constraint

boolReif, propagators

Constructor Summary

Constructors

Constructor	Description
LocalConstructiveDisjunction(Constraint... constraints)	Make a new constraint defined as a set of given propagators

Method Summary

Modifier and Type	Method	Description
ESat	isSatisfied()	Test if this Constraint object is satisfied, regarding its Propagators and its Variable current domains.

Methods inherited from class org.chocosolver.solver.constraints.Constraint

checkNewStatus, computeMaxPriority, declareAs, getCidxInModel, getName, getOpposite, getPropagator, getPropagators, getStatus, ignore, impliedBy, implies, isEnabled, isReified, makeOpposite, merge, post, reify, reifyWith, setEnabled, setName, setOpposite, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

LocalConstructiveDisjunction

public LocalConstructiveDisjunction(Constraint... constraints)

Make a new constraint defined as a set of given propagators

Parameters:

constraints - set of constraints in disjunction

Method Detail

isSatisfied

public ESat isSatisfied()

Description copied from class: Constraint

Test if this Constraint object is satisfied, regarding its Propagators and its Variable current domains.

This method is called on each solution as a checker when assertions are enabled (-ea in VM parameters) It is also called for constraint reification (to state whether or not a constraint is satisfied)

The method calls entailment checks of this propagators

Overrides:

isSatisfied in class Constraint

Returns:

ESat.FALSE if the constraint cannot be satisfied (from domain consideration), ESat.TRUE if whatever future decisions are, the constraint will be satisfied for sure (without propagating domain modifications) ESat.UNDIFINED otherwise (more decisions/filtering must be made before concluding about constraint satisfaction)