Module org.chocosolver

Package org.chocosolver.solver.constraints.unary

Class Member

java.lang.Object

org.chocosolver.solver.constraints.Constraint

org.chocosolver.solver.constraints.unary.Member

public class Member
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	Description
	Member(IntVar var, int lowerbound, int upperbound)
protected	Member(IntVar var, int lb, int ub, IntIterableRangeSet values, Propagator prop)
	Member(IntVar var, IntIterableRangeSet values)

Method Summary

Modifier and Type	Method	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, ignore, 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

Member

protected Member(IntVar var,
                 int lb,
                 int ub,
                 IntIterableRangeSet values,
                 Propagator prop)

Member

public Member(IntVar var,
              IntIterableRangeSet values)

Member

public Member(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