org.clafer.choco.constraint

Class SetEquality

java.lang.Object

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

org.clafer.choco.constraint.SetEquality

All Implemented Interfaces:

Serializable, solver.propagation.IPriority

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

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
SetEquality(solver.variables.SetVar left, solver.variables.IntVar leftCard, boolean equal, solver.variables.SetVar right, solver.variables.IntVar rightCard)

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

SetEquality

public SetEquality(solver.variables.SetVar left,
           solver.variables.IntVar leftCard,
           boolean equal,
           solver.variables.SetVar right,
           solver.variables.IntVar rightCard)

Method Detail

makeOpposite

public solver.constraints.Constraint makeOpposite()

Overrides:

makeOpposite in class solver.constraints.Constraint<solver.variables.Variable,solver.constraints.Propagator<solver.variables.Variable>>