Java Reference
Java Reference
Detailed Description
A symmetry breaker is an object that will visit a decision and create the 'symmetrical' decision in return.
Each symmetry breaker represents one class of symmetry.
Definition at line 14 of file SymmetryBreaker.java.
Public Member Functions | |
| synchronized void | delete () |
| void | swigReleaseOwnership () |
| void | swigTakeOwnership () |
| SymmetryBreaker () | |
| void | addIntegerVariableEqualValueClause (IntVar var, long value) |
| void | addIntegerVariableGreaterOrEqualValueClause (IntVar var, long value) |
| void | addIntegerVariableLessOrEqualValueClause (IntVar var, long value) |
| void | visitSetVariableValue (IntVar var, long value) |
| void | visitSplitVariableDomain (IntVar var, long value, boolean start_with_lower_half) |
| void | visitScheduleOrPostpone (IntervalVar var, long est) |
| void | visitScheduleOrExpedite (IntervalVar var, long est) |
| void | visitRankFirstInterval (SequenceVar sequence, int index) |
| void | visitRankLastInterval (SequenceVar sequence, int index) |
| void | visitUnknownDecision () |
| String | toString () |
Protected Member Functions | |
| SymmetryBreaker (long cPtr, boolean cMemoryOwn) | |
| void | swigDirectorDisconnect () |
Constructor & Destructor Documentation
◆ SymmetryBreaker() [1/2]
|
inlineprotected |
Definition at line 17 of file SymmetryBreaker.java.
◆ SymmetryBreaker() [2/2]
|
inline |
Definition at line 57 of file SymmetryBreaker.java.
Member Function Documentation
◆ addIntegerVariableEqualValueClause()
|
inline |
Definition at line 62 of file SymmetryBreaker.java.
◆ addIntegerVariableGreaterOrEqualValueClause()
|
inline |
Definition at line 66 of file SymmetryBreaker.java.
◆ addIntegerVariableLessOrEqualValueClause()
|
inline |
Definition at line 70 of file SymmetryBreaker.java.
◆ delete()
|
inline |
Reimplemented from DecisionVisitor.
Definition at line 31 of file SymmetryBreaker.java.
◆ swigDirectorDisconnect()
|
inlineprotected |
Reimplemented from DecisionVisitor.
Definition at line 42 of file SymmetryBreaker.java.
◆ swigReleaseOwnership()
|
inline |
Reimplemented from DecisionVisitor.
Definition at line 47 of file SymmetryBreaker.java.
◆ swigTakeOwnership()
|
inline |
Reimplemented from DecisionVisitor.
Definition at line 52 of file SymmetryBreaker.java.
◆ toString()
|
inlineinherited |
Reimplemented in Assignment, Pack, BooleanVar, RegularLimit, SearchLog, SearchLimit, OptimizeVar, Decision, IntVarIterator, DecisionBuilder, Constraint, Demon, SolutionCollector, CPFeasibilityFilter, GlobalVehicleBreaksConstraint, PropagationBaseObject, SequenceVar, LocalSearchMonitor, and PropagationMonitor.
Definition at line 46 of file BaseObject.java.
◆ visitRankFirstInterval()
|
inlineinherited |
Definition at line 78 of file DecisionVisitor.java.
◆ visitRankLastInterval()
|
inlineinherited |
Definition at line 82 of file DecisionVisitor.java.
◆ visitScheduleOrExpedite()
|
inlineinherited |
Definition at line 74 of file DecisionVisitor.java.
◆ visitScheduleOrPostpone()
|
inlineinherited |
Definition at line 70 of file DecisionVisitor.java.
◆ visitSetVariableValue()
|
inlineinherited |
Definition at line 62 of file DecisionVisitor.java.
◆ visitSplitVariableDomain()
|
inlineinherited |
Definition at line 66 of file DecisionVisitor.java.
◆ visitUnknownDecision()
|
inlineinherited |
Definition at line 86 of file DecisionVisitor.java.
The documentation for this class was generated from the following file: