public class DisjunctiveConstraint extends Constraint
swigCMemOwn| Modifier | Constructor and Description |
|---|---|
protected |
DisjunctiveConstraint(long cPtr,
boolean cMemoryOwn) |
| Modifier and Type | Method and Description |
|---|---|
void |
delete() |
protected void |
finalize() |
protected 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.
|
protected static long |
swigRelease(DisjunctiveConstraint obj) |
long |
transitionTime(int before_index,
int after_index) |
accept, getCPtr, initialPropagate, isCastConstraint, post, postAndPropagate, swigRelease, toString, varbaseName, enqueueDelayedDemon, enqueueVar, freezeQueue, getCPtr, hasName, name, reset_action_on_fail, set_variable_to_clean_on_fail, setName, solver, swigRelease, unfreezeQueuegetCPtr, swigReleaseprotected DisjunctiveConstraint(long cPtr,
boolean cMemoryOwn)
protected static long getCPtr(DisjunctiveConstraint obj)
protected static long swigRelease(DisjunctiveConstraint obj)
protected void finalize()
finalize in class Constraintpublic void delete()
delete in class Constraintpublic SequenceVar makeSequenceVar()
public void setTransitionTime(java.util.function.LongBinaryOperator transition_time)
public long transitionTime(int before_index,
int after_index)
Copyright © 2024. All rights reserved.