public class BooleanVar extends IntVar
swigCMemOwn
Constructor and Description |
---|
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() |
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.
|
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, whenDomain
getCPtr, range, setValue, swigRelease, varWithName, whenRange
enqueueDelayedDemon, enqueueVar, freezeQueue, getCPtr, hasName, name, reset_action_on_fail, set_variable_to_clean_on_fail, setName, solver, swigRelease, unfreezeQueue
getCPtr, swigRelease
public static long getCPtr(BooleanVar obj)
public static long swigRelease(BooleanVar obj)
public static int getKUnboundBooleanVarValue()
public void setRange(long mi, long ma)
IntExpr
public boolean bound()
IntExpr
public long value()
IntVar
public void removeValue(long v)
IntVar
removeValue
in class IntVar
public void removeInterval(long l, long u)
IntVar
removeInterval
in class IntVar
public void whenBound(Demon d)
IntVar
public void whenRange(Demon d)
IntExpr
public void whenDomain(Demon d)
IntVar
whenDomain
in class IntVar
public long size()
IntVar
public boolean contains(long v)
IntVar
public IntVarIterator makeHoleIterator(boolean reversible)
IntVar
makeHoleIterator
in class IntVar
public IntVarIterator makeDomainIterator(boolean reversible)
IntVar
makeDomainIterator
in class IntVar
public java.lang.String toString()
toString
in class PropagationBaseObject
public IntVar isDifferent(long constant)
isDifferent
in class IntVar
public IntVar isGreaterOrEqual(long constant)
isGreaterOrEqual
in class IntVar
public IntVar isLessOrEqual(long constant)
isLessOrEqual
in class IntVar
public void restoreValue()
public java.lang.String baseName()
PropagationBaseObject
baseName
in class PropagationBaseObject
public int rawValue()
Copyright © 2025. All rights reserved.