public class BooleanVar extends IntVar
swigCMemOwn| Modifier | Constructor and Description |
|---|---|
protected |
BooleanVar(long cPtr,
boolean cMemoryOwn) |
| Modifier and Type | Method and Description |
|---|---|
java.lang.String |
baseName()
Returns a base name for automatic naming.
|
boolean |
bound()
Returns true if the min and the max of the expression are equal.
|
boolean |
contains(long v)
This method returns whether the value 'v' is in the domain of the
variable. |
void |
delete() |
protected void |
finalize() |
protected static long |
getCPtr(BooleanVar obj) |
static int |
getKUnboundBooleanVarValue() |
IntVar |
isDifferent(long constant) |
IntVar |
isEqual(long constant)
IsEqual
|
IntVar |
isGreaterOrEqual(long constant) |
IntVar |
isLessOrEqual(long constant) |
IntVarIterator |
makeDomainIterator(boolean reversible)
Creates a domain iterator.
|
IntVarIterator |
makeHoleIterator(boolean reversible)
Creates a hole iterator.
|
long |
max() |
long |
min() |
int |
rawValue() |
void |
removeInterval(long l,
long u)
This method removes the interval 'l' ..
|
void |
removeValue(long v)
This method removes the value 'v' from the domain of the variable.
|
void |
restoreValue() |
void |
setMax(long m) |
void |
setMin(long m) |
void |
setRange(long mi,
long ma)
This method sets both the min and the max of the expression.
|
long |
size()
This method returns the number of values in the domain of the variable.
|
protected static long |
swigRelease(BooleanVar obj) |
java.lang.String |
toString() |
long |
value()
This method returns the value of the variable.
|
int |
varType() |
void |
whenBound(Demon d)
This method attaches a demon that will be awakened when the
variable is bound. |
void |
whenDomain(Demon d)
This method attaches a demon that will watch any domain
modification of the domain of the variable. |
void |
whenRange(Demon d)
Attach a demon that will watch the min or the max of the expression.
|
accept, getCPtr, index, isVar, oldMax, oldMin, removeValues, setValue, swigRelease, var, whenBound, whenDomaingetCPtr, range, setValue, swigRelease, varWithName, whenRangeenqueueDelayedDemon, enqueueVar, freezeQueue, getCPtr, hasName, name, reset_action_on_fail, set_variable_to_clean_on_fail, setName, solver, swigRelease, unfreezeQueuegetCPtr, swigReleaseprotected static long getCPtr(BooleanVar obj)
protected static long swigRelease(BooleanVar obj)
public static int getKUnboundBooleanVarValue()
public void setRange(long mi,
long ma)
IntExprpublic boolean bound()
IntExprpublic long value()
IntVarpublic void removeValue(long v)
IntVarremoveValue in class IntVarpublic void removeInterval(long l,
long u)
IntVarremoveInterval in class IntVarpublic void whenBound(Demon d)
IntVarpublic void whenRange(Demon d)
IntExprpublic void whenDomain(Demon d)
IntVarwhenDomain in class IntVarpublic long size()
IntVarpublic boolean contains(long v)
IntVarpublic IntVarIterator makeHoleIterator(boolean reversible)
IntVarmakeHoleIterator in class IntVarpublic IntVarIterator makeDomainIterator(boolean reversible)
IntVarmakeDomainIterator in class IntVarpublic java.lang.String toString()
toString in class PropagationBaseObjectpublic IntVar isDifferent(long constant)
isDifferent in class IntVarpublic IntVar isGreaterOrEqual(long constant)
isGreaterOrEqual in class IntVarpublic IntVar isLessOrEqual(long constant)
isLessOrEqual in class IntVarpublic void restoreValue()
public java.lang.String baseName()
PropagationBaseObjectbaseName in class PropagationBaseObjectpublic int rawValue()
Copyright © 2024. All rights reserved.