Java Reference
Java Reference
SymmetryBreaker.java
Go to the documentation of this file.
65 mainJNI.SymmetryBreaker_addIntegerVariableEqualValueClause(swigCPtr, this, IntVar.getCPtr(var), var, value);
69 mainJNI.SymmetryBreaker_addIntegerVariableGreaterOrEqualValueClause(swigCPtr, this, IntVar.getCPtr(var), var, value);
73 mainJNI.SymmetryBreaker_addIntegerVariableLessOrEqualValueClause(swigCPtr, this, IntVar.getCPtr(var), var, value);
SymmetryBreaker()
Definition: SymmetryBreaker.java:59
The class IntVar is a subset of IntExpr.
A DecisionVisitor is used to inspect a decision.
Definition: DecisionVisitor.java:15
void swigReleaseOwnership()
Definition: SymmetryBreaker.java:49
void swigDirectorDisconnect()
Definition: SymmetryBreaker.java:44
A symmetry breaker is an object that will visit a decision and create the 'symmetrical' decision in ...
Definition: SymmetryBreaker.java:16
void addIntegerVariableGreaterOrEqualValueClause(IntVar var, long value)
Definition: SymmetryBreaker.java:68
void addIntegerVariableLessOrEqualValueClause(IntVar var, long value)
Definition: SymmetryBreaker.java:72
void swigTakeOwnership()
Definition: SymmetryBreaker.java:54
SymmetryBreaker(long cPtr, boolean cMemoryOwn)
Definition: SymmetryBreaker.java:19
void addIntegerVariableEqualValueClause(IntVar var, long value)
Definition: SymmetryBreaker.java:64