org.chocosolver.solver.constraints.unary

Class Member

java.lang.Object

org.chocosolver.solver.constraints.Constraint

org.chocosolver.solver.constraints.unary.Member

All Implemented Interfaces:

Serializable

public class Member
extends Constraint

Since:

26 nov. 2010

Author:

Charles Prud'homme

See Also:

Serialized Form

Field Summary

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

name, propagators

Constructor Summary

Constructors

Constructor and Description
Member(IntVar var, int[] values)
Member(IntVar var, int lowerbound, int upperbound)

Method Summary

Methods

Modifier and Type	Method and Description
Constraint	makeOpposite() 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

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

computeMaxPriority, duplicate, getName, getOpposite, getPropagator, getPropagators, isReified, isSatisfied, reif, reifyWith, setName, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

Member

public Member(IntVar var,
      int[] 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