Java Reference
Java Reference
BooleanVar.java
Go to the documentation of this file.
synchronized void delete()
Definition: BooleanVar.java:28
java.math.BigInteger size()
This method returns the number of values in the domain of the variable.
Definition: BooleanVar.java:91
void removeValue(long v)
This method removes the value 'v' from the domain of the variable.
Definition: BooleanVar.java:71
boolean contains(long v)
This method returns whether the value 'v' is in the domain of the variable.
Definition: BooleanVar.java:95
static int getKUnboundBooleanVarValue()
Definition: BooleanVar.java:39
void restoreValue()
Definition: BooleanVar.java:137
IntVarIterator makeHoleIterator(boolean reversible)
Creates a hole iterator.
Definition: BooleanVar.java:99
void whenDomain(Demon d)
This method attaches a demon that will watch any domain modification of the domain of the variable.
Definition: BooleanVar.java:87
void whenBound(Demon d)
This method attaches a demon that will be awakened when the variable is bound.
Definition: BooleanVar.java:79
boolean bound()
Returns true if the min and the max of the expression are equal.
Definition: BooleanVar.java:63
int rawValue()
Definition: BooleanVar.java:145
IntVar isLessOrEqual(long constant)
Definition: BooleanVar.java:132
IntVarIterator makeDomainIterator(boolean reversible)
Creates a domain iterator.
Definition: BooleanVar.java:104
void setMax(long m)
Definition: BooleanVar.java:55
void removeInterval(long l, long u)
This method removes the interval 'l' .
Definition: BooleanVar.java:75
void setMin(long m)
Definition: BooleanVar.java:47
void setRange(long mi, long ma)
This method sets both the min and the max of the expression.
Definition: BooleanVar.java:59
void whenRange(Demon d)
Attach a demon that will watch the min or the max of the expression.
Definition: BooleanVar.java:83
String toString()
Definition: BooleanVar.java:109
IntVar isGreaterOrEqual(long constant)
Definition: BooleanVar.java:127
BooleanVar(long cPtr, boolean cMemoryOwn)
Definition: BooleanVar.java:14
IntVar isDifferent(long constant)
Definition: BooleanVar.java:122
A Demon is the base element of a propagation queue.
Definition: Demon.java:22
The class Iterator has two direct subclasses.
Definition: IntVarIterator.java:27
The class IntVar is a subset of IntExpr.
IntVar(long cPtr, boolean cMemoryOwn)