public class DisjunctiveConstraint extends Constraint
swigCMemOwn
Constructor and Description |
---|
DisjunctiveConstraint(long cPtr,
boolean cMemoryOwn) |
Modifier and Type | Method and Description |
---|---|
void |
delete() |
protected void |
finalize() |
static long |
getCPtr(DisjunctiveConstraint obj) |
SequenceVar |
makeSequenceVar()
Creates a sequence variable from the constraint.
|
void |
setTransitionTime(java.util.function.LongBinaryOperator transition_time)
Add a transition time between intervals.
|
static long |
swigRelease(DisjunctiveConstraint obj) |
long |
transitionTime(int before_index,
int after_index) |
accept, getCPtr, initialPropagate, isCastConstraint, post, postAndPropagate, swigRelease, toString, var
baseName, enqueueDelayedDemon, enqueueVar, freezeQueue, getCPtr, hasName, name, reset_action_on_fail, set_variable_to_clean_on_fail, setName, solver, swigRelease, unfreezeQueue
getCPtr, swigRelease
public DisjunctiveConstraint(long cPtr, boolean cMemoryOwn)
public static long getCPtr(DisjunctiveConstraint obj)
public static long swigRelease(DisjunctiveConstraint obj)
protected void finalize()
finalize
in class Constraint
public void delete()
delete
in class Constraint
public SequenceVar makeSequenceVar()
public void setTransitionTime(java.util.function.LongBinaryOperator transition_time)
public long transitionTime(int before_index, int after_index)
Copyright © 2025. All rights reserved.