org.clafer.choco.constraint

Class ReifyEqualXC

java.lang.Object

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

org.clafer.choco.constraint.ReifyEqualXC

All Implemented Interfaces:

Serializable, solver.propagation.IPriority

public class ReifyEqualXC
extends solver.constraints.Constraint<solver.variables.IntVar,PropReifyEqualXC>

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

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

ReifyEqualXC

public ReifyEqualXC(solver.variables.BoolVar reify,
            boolean reifyC,
            solver.variables.IntVar x,
            int c)

Method Detail

makeOpposite

public solver.constraints.Constraint makeOpposite()

Overrides:

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