public class SymmetryBreaker extends DecisionVisitor
swigCMemOwn| Modifier | Constructor and Description |
|---|---|
|
SymmetryBreaker() |
protected |
SymmetryBreaker(long cPtr,
boolean cMemoryOwn) |
| Modifier and Type | Method and Description |
|---|---|
void |
addIntegerVariableEqualValueClause(IntVar var,
long value) |
void |
addIntegerVariableGreaterOrEqualValueClause(IntVar var,
long value) |
void |
addIntegerVariableLessOrEqualValueClause(IntVar var,
long value) |
void |
delete() |
protected void |
finalize() |
protected static long |
getCPtr(SymmetryBreaker obj) |
protected void |
swigDirectorDisconnect() |
protected static long |
swigRelease(SymmetryBreaker obj) |
void |
swigReleaseOwnership() |
void |
swigTakeOwnership() |
getCPtr, swigRelease, visitRankFirstInterval, visitRankLastInterval, visitScheduleOrExpedite, visitScheduleOrPostpone, visitSetVariableValue, visitSplitVariableDomain, visitUnknownDecisiongetCPtr, swigRelease, toStringprotected SymmetryBreaker(long cPtr,
boolean cMemoryOwn)
public SymmetryBreaker()
protected static long getCPtr(SymmetryBreaker obj)
protected static long swigRelease(SymmetryBreaker obj)
protected void finalize()
finalize in class DecisionVisitorpublic void delete()
delete in class DecisionVisitorprotected void swigDirectorDisconnect()
swigDirectorDisconnect in class DecisionVisitorpublic void swigReleaseOwnership()
swigReleaseOwnership in class DecisionVisitorpublic void swigTakeOwnership()
swigTakeOwnership in class DecisionVisitorpublic void addIntegerVariableEqualValueClause(IntVar var, long value)
public void addIntegerVariableGreaterOrEqualValueClause(IntVar var, long value)
public void addIntegerVariableLessOrEqualValueClause(IntVar var, long value)
Copyright © 2024. All rights reserved.