public class IntExpr extends PropagationBaseObject
swigCMemOwn
Constructor and Description |
---|
IntExpr(long cPtr,
boolean cMemoryOwn) |
Modifier and Type | Method and Description |
---|---|
void |
accept(ModelVisitor visitor)
Accepts the given visitor.
|
boolean |
bound()
Returns true if the min and the max of the expression are equal.
|
void |
delete() |
protected void |
finalize() |
static long |
getCPtr(IntExpr obj) |
boolean |
isVar()
Returns true if the expression is indeed a variable.
|
long |
max() |
long |
min() |
void |
range(long[] l,
long[] u)
By default calls Min() and Max(), but can be redefined when Min and Max
code can be factorized. |
void |
setMax(long m) |
void |
setMin(long m) |
void |
setRange(long l,
long u)
This method sets both the min and the max of the expression.
|
void |
setValue(long v)
This method sets the value of the expression.
|
static long |
swigRelease(IntExpr obj) |
IntVar |
var()
Creates a variable from the expression.
|
IntVar |
varWithName(java.lang.String name)
Creates a variable from the expression and set the name of the
resulting var. |
void |
whenRange(Demon d)
Attach a demon that will watch the min or the max of the expression.
|
void |
whenRange(java.lang.Runnable closure)
Attach a demon that will watch the min or the max of the expression.
|
baseName, enqueueDelayedDemon, enqueueVar, freezeQueue, getCPtr, hasName, name, reset_action_on_fail, set_variable_to_clean_on_fail, setName, solver, swigRelease, toString, unfreezeQueue
getCPtr, swigRelease
public static long getCPtr(IntExpr obj)
public static long swigRelease(IntExpr obj)
protected void finalize()
finalize
in class PropagationBaseObject
public void delete()
delete
in class PropagationBaseObject
public long min()
public void setMin(long m)
public long max()
public void setMax(long m)
public void range(long[] l, long[] u)
public void setRange(long l, long u)
public void setValue(long v)
public boolean bound()
public boolean isVar()
public IntVar var()
public IntVar varWithName(java.lang.String name)
public void whenRange(Demon d)
public void whenRange(java.lang.Runnable closure)
public void accept(ModelVisitor visitor)
Copyright © 2025. All rights reserved.