org.chocosolver.solver.constraints

Class ReificationConstraint

java.lang.Object

org.chocosolver.solver.constraints.Constraint

org.chocosolver.solver.constraints.ReificationConstraint

All Implemented Interfaces:

Serializable

public class ReificationConstraint
extends Constraint

Implication constraint: boolean b => constraint c Also known as half reification

Since:

02/2013

Author:

Jean-Guillaume Fages

See Also:

Serialized Form

Field Summary

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

name, propagators

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	ReificationConstraint(BoolVar bVar, Constraint consIfBoolTrue, Constraint consIfBoolFalse)

Method Summary

Methods

Modifier and Type	Method and Description
void	activate(int idx)
void	duplicate(Solver solver, gnu.trove.map.hash.THashMap<Object,Object> identitymap) Duplicate the current constraint.
ESat	isSatisfied() Test if this Constraint object is satisfied, regarding its Propagators and its Variable current domains.
String	toString()

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

computeMaxPriority, getName, getOpposite, getPropagator, getPropagators, isReified, makeOpposite, reif, reifyWith, setName

Methods inherited from class java.lang.Object

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

Constructor Detail

ReificationConstraint

protected ReificationConstraint(BoolVar bVar,
                     Constraint consIfBoolTrue,
                     Constraint consIfBoolFalse)

Method Detail

activate

public void activate(int idx)
              throws ContradictionException

Throws:

ContradictionException

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)

toString

public String toString()

Overrides:

toString in class Constraint

duplicate

public void duplicate(Solver solver,
             gnu.trove.map.hash.THashMap<Object,Object> identitymap)

Description copied from class: Constraint

Duplicate the current constraint. The constraint is NOT posted into the solver.

Overrides:

duplicate in class Constraint

Parameters:

solver - the target solver

identitymap - a map to ensure uniqueness of objects