public class SequenceVar extends PropagationBaseObject
swigCMemOwn
Constructor and Description |
---|
SequenceVar(long cPtr,
boolean cMemoryOwn) |
SequenceVar(Solver s,
IntervalVar[] intervals,
IntVar[] nexts,
java.lang.String name) |
Modifier and Type | Method and Description |
---|---|
void |
accept(ModelVisitor visitor)
Accepts the given visitor.
|
void |
delete() |
protected void |
finalize() |
static long |
getCPtr(SequenceVar obj) |
IntervalVar |
interval(int index)
Returns the index_th interval of the sequence.
|
IntVar |
next(int index)
Returns the next of the index_th interval of the sequence.
|
void |
rankFirst(int index)
Ranks the index_th interval var first of all unranked interval
vars. |
void |
rankLast(int index)
Ranks the index_th interval var first of all unranked interval
vars. |
void |
rankNotFirst(int index)
Indicates that the index_th interval var will not be ranked first
of all currently unranked interval vars. |
void |
rankNotLast(int index)
Indicates that the index_th interval var will not be ranked first
of all currently unranked interval vars. |
void |
rankSequence(int[] rank_first,
int[] rank_last,
int[] unperformed)
Applies the following sequence of ranks, ranks first, then rank
last. |
long |
size()
Returns the number of interval vars in the sequence.
|
static long |
swigRelease(SequenceVar obj) |
java.lang.String |
toString() |
baseName, enqueueDelayedDemon, enqueueVar, freezeQueue, getCPtr, hasName, name, reset_action_on_fail, set_variable_to_clean_on_fail, setName, solver, swigRelease, unfreezeQueue
getCPtr, swigRelease
public SequenceVar(long cPtr, boolean cMemoryOwn)
public SequenceVar(Solver s, IntervalVar[] intervals, IntVar[] nexts, java.lang.String name)
public static long getCPtr(SequenceVar obj)
public static long swigRelease(SequenceVar obj)
protected void finalize()
finalize
in class PropagationBaseObject
public void delete()
delete
in class PropagationBaseObject
public java.lang.String toString()
toString
in class PropagationBaseObject
public void rankFirst(int index)
public void rankNotFirst(int index)
public void rankLast(int index)
public void rankNotLast(int index)
public void rankSequence(int[] rank_first, int[] rank_last, int[] unperformed)
public IntervalVar interval(int index)
public IntVar next(int index)
public long size()
public void accept(ModelVisitor visitor)
Copyright © 2025. All rights reserved.