public class IntervalVar extends PropagationBaseObject
swigCMemOwn
Constructor and Description |
---|
IntervalVar(long cPtr,
boolean cMemoryOwn) |
Modifier and Type | Method and Description |
---|---|
void |
accept(ModelVisitor visitor)
Accepts the given visitor.
|
boolean |
cannotBePerformed() |
void |
delete() |
IntExpr |
durationExpr() |
long |
durationMax() |
long |
durationMin()
These methods query, set, and watch the duration of the interval var.
|
IntExpr |
endExpr() |
long |
endMax() |
long |
endMin()
These methods query, set, and watch the end position of the interval var.
|
protected void |
finalize() |
static long |
getCPtr(IntervalVar obj) |
static long |
getKMaxValidValue()
The largest acceptable value to be returned by EndMax()
|
static long |
getKMinValidValue()
The smallest acceptable value to be returned by StartMin()
|
boolean |
isPerformedBound() |
boolean |
mayBePerformed() |
boolean |
mustBePerformed()
These methods query, set, and watch the performed status of the
interval var. |
long |
oldDurationMax() |
long |
oldDurationMin() |
long |
oldEndMax() |
long |
oldEndMin() |
long |
oldStartMax() |
long |
oldStartMin() |
IntExpr |
performedExpr() |
IntExpr |
safeDurationExpr(long unperformed_value) |
IntExpr |
safeEndExpr(long unperformed_value) |
IntExpr |
safeStartExpr(long unperformed_value)
These methods create expressions encapsulating the start, end
and duration of the interval var. |
void |
setDurationMax(long m) |
void |
setDurationMin(long m) |
void |
setDurationRange(long mi,
long ma) |
void |
setEndMax(long m) |
void |
setEndMin(long m) |
void |
setEndRange(long mi,
long ma) |
void |
setPerformed(boolean val) |
void |
setStartMax(long m) |
void |
setStartMin(long m) |
void |
setStartRange(long mi,
long ma) |
IntExpr |
startExpr()
These methods create expressions encapsulating the start, end
and duration of the interval var. |
long |
startMax() |
long |
startMin()
These methods query, set, and watch the start position of the
interval var. |
static long |
swigRelease(IntervalVar obj) |
boolean |
wasPerformedBound() |
void |
whenAnything(Demon d)
Attaches a demon awakened when anything about this interval changes.
|
void |
whenAnything(java.lang.Runnable closure)
Attaches a closure awakened when anything about this interval changes.
|
void |
whenDurationBound(Demon d) |
void |
whenDurationBound(java.lang.Runnable closure) |
void |
whenDurationRange(Demon d) |
void |
whenDurationRange(java.lang.Runnable closure) |
void |
whenEndBound(Demon d) |
void |
whenEndBound(java.lang.Runnable closure) |
void |
whenEndRange(Demon d) |
void |
whenEndRange(java.lang.Runnable closure) |
void |
whenPerformedBound(Demon d) |
void |
whenPerformedBound(java.lang.Runnable closure) |
void |
whenStartBound(Demon d) |
void |
whenStartBound(java.lang.Runnable closure) |
void |
whenStartRange(Demon d) |
void |
whenStartRange(java.lang.Runnable closure) |
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(IntervalVar obj)
public static long swigRelease(IntervalVar obj)
protected void finalize()
finalize
in class PropagationBaseObject
public void delete()
delete
in class PropagationBaseObject
public static long getKMinValidValue()
public static long getKMaxValidValue()
public long startMin()
public long startMax()
public void setStartMin(long m)
public void setStartMax(long m)
public void setStartRange(long mi, long ma)
public long oldStartMin()
public long oldStartMax()
public void whenStartRange(Demon d)
public void whenStartRange(java.lang.Runnable closure)
public void whenStartBound(Demon d)
public void whenStartBound(java.lang.Runnable closure)
public long durationMin()
public long durationMax()
public void setDurationMin(long m)
public void setDurationMax(long m)
public void setDurationRange(long mi, long ma)
public long oldDurationMin()
public long oldDurationMax()
public void whenDurationRange(Demon d)
public void whenDurationRange(java.lang.Runnable closure)
public void whenDurationBound(Demon d)
public void whenDurationBound(java.lang.Runnable closure)
public long endMin()
public long endMax()
public void setEndMin(long m)
public void setEndMax(long m)
public void setEndRange(long mi, long ma)
public long oldEndMin()
public long oldEndMax()
public void whenEndRange(Demon d)
public void whenEndRange(java.lang.Runnable closure)
public void whenEndBound(Demon d)
public void whenEndBound(java.lang.Runnable closure)
public boolean mustBePerformed()
public boolean mayBePerformed()
public boolean cannotBePerformed()
public boolean isPerformedBound()
public void setPerformed(boolean val)
public boolean wasPerformedBound()
public void whenPerformedBound(Demon d)
public void whenPerformedBound(java.lang.Runnable closure)
public void whenAnything(Demon d)
public void whenAnything(java.lang.Runnable closure)
public IntExpr startExpr()
public IntExpr durationExpr()
public IntExpr endExpr()
public IntExpr performedExpr()
public IntExpr safeStartExpr(long unperformed_value)
public IntExpr safeDurationExpr(long unperformed_value)
public IntExpr safeEndExpr(long unperformed_value)
public void accept(ModelVisitor visitor)
Copyright © 2025. All rights reserved.