Java Reference
Java Reference
SymmetryBreaker.java
Go to the documentation of this file.
63 mainJNI.SymmetryBreaker_addIntegerVariableEqualValueClause(swigCPtr, this, IntVar.getCPtr(var), var, value);
67 mainJNI.SymmetryBreaker_addIntegerVariableGreaterOrEqualValueClause(swigCPtr, this, IntVar.getCPtr(var), var, value);
71 mainJNI.SymmetryBreaker_addIntegerVariableLessOrEqualValueClause(swigCPtr, this, IntVar.getCPtr(var), var, value);
SymmetryBreaker()
Definition: SymmetryBreaker.java:57
The class IntVar is a subset of IntExpr.
A DecisionVisitor is used to inspect a decision.
Definition: DecisionVisitor.java:14
void swigReleaseOwnership()
Definition: SymmetryBreaker.java:47
void swigDirectorDisconnect()
Definition: SymmetryBreaker.java:42
A symmetry breaker is an object that will visit a decision and create the 'symmetrical' decision in r...
Definition: SymmetryBreaker.java:14
void addIntegerVariableGreaterOrEqualValueClause(IntVar var, long value)
Definition: SymmetryBreaker.java:66
void addIntegerVariableLessOrEqualValueClause(IntVar var, long value)
Definition: SymmetryBreaker.java:70
void swigTakeOwnership()
Definition: SymmetryBreaker.java:52
SymmetryBreaker(long cPtr, boolean cMemoryOwn)
Definition: SymmetryBreaker.java:17
void addIntegerVariableEqualValueClause(IntVar var, long value)
Definition: SymmetryBreaker.java:62