org.chocosolver.solver.constraints.unary

Class NotMember

java.lang.Object

org.chocosolver.solver.constraints.Constraint

org.chocosolver.solver.constraints.unary.NotMember

public class NotMember
extends Constraint

Since:

26 nov. 2010

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

Modifier	Constructor and Description
	NotMember(IntVar var, int[] values)
	NotMember(IntVar var, int lowerbound, int upperbound)
protected	NotMember(IntVar var, int lb, int ub, int[] values, Propagator prop)

Method Summary

Modifier and Type	Method and Description
Constraint	makeOpposite() Make the opposite constraint of this.

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

checkNewStatus, computeMaxPriority, declareAs, getCidxInModel, getName, getOpposite, getPropagator, getPropagators, getStatus, isReified, isSatisfied, merge, post, reify, reifyWith, setName, setOpposite, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

NotMember

protected NotMember(IntVar var,
                    int lb,
                    int ub,
                    int[] values,
                    Propagator prop)

NotMember

public NotMember(IntVar var,
                 int[] values)

NotMember

public NotMember(IntVar var,
                 int lowerbound,
                 int upperbound)

Method Detail

makeOpposite

public Constraint makeOpposite()

Description copied from class: Constraint

Make the opposite constraint of this. BEWARE: this method should never be called by the user but it can be overridden to provide better constraint negations

Overrides:

makeOpposite in class Constraint