org.clafer.choco.constraint

Class ReifyEqualXY

java.lang.Object

solver.constraints.Constraint<solver.variables.IntVar,PropReifyEqualXY>

org.clafer.choco.constraint.ReifyEqualXY

All Implemented Interfaces:

Serializable, solver.propagation.IPriority

public class ReifyEqualXY
extends solver.constraints.Constraint<solver.variables.IntVar,PropReifyEqualXY>

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
ReifyEqualXY(solver.variables.BoolVar reify, boolean reifyC, solver.variables.IntVar x, solver.variables.IntVar y)

Method Summary

Methods

Modifier and Type	Method and Description
solver.constraints.Constraint	makeOpposite()

Methods inherited from class solver.constraints.Constraint

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

Methods inherited from class java.lang.Object

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

Constructor Detail

ReifyEqualXY

public ReifyEqualXY(solver.variables.BoolVar reify,
            boolean reifyC,
            solver.variables.IntVar x,
            solver.variables.IntVar y)

Method Detail

makeOpposite

public solver.constraints.Constraint makeOpposite()

Overrides:

makeOpposite in class solver.constraints.Constraint<solver.variables.IntVar,PropReifyEqualXY>