Java Reference

Java Reference

SymmetryBreaker

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]

SymmetryBreaker ( long  cPtr,
boolean  cMemoryOwn 
)
inlineprotected

Definition at line 17 of file SymmetryBreaker.java.

◆ SymmetryBreaker() [2/2]

SymmetryBreaker ( )
inline

Definition at line 57 of file SymmetryBreaker.java.

Member Function Documentation

◆ addIntegerVariableEqualValueClause()

void addIntegerVariableEqualValueClause ( IntVar  var,
long  value 
)
inline

Definition at line 62 of file SymmetryBreaker.java.

◆ addIntegerVariableGreaterOrEqualValueClause()

void addIntegerVariableGreaterOrEqualValueClause ( IntVar  var,
long  value 
)
inline

Definition at line 66 of file SymmetryBreaker.java.

◆ addIntegerVariableLessOrEqualValueClause()

void addIntegerVariableLessOrEqualValueClause ( IntVar  var,
long  value 
)
inline

Definition at line 70 of file SymmetryBreaker.java.

◆ delete()

synchronized void delete ( )
inline

Reimplemented from DecisionVisitor.

Definition at line 31 of file SymmetryBreaker.java.

◆ swigDirectorDisconnect()

void swigDirectorDisconnect ( )
inlineprotected

Reimplemented from DecisionVisitor.

Definition at line 42 of file SymmetryBreaker.java.

◆ swigReleaseOwnership()

void swigReleaseOwnership ( )
inline

Reimplemented from DecisionVisitor.

Definition at line 47 of file SymmetryBreaker.java.

◆ swigTakeOwnership()

void swigTakeOwnership ( )
inline

Reimplemented from DecisionVisitor.

Definition at line 52 of file SymmetryBreaker.java.

◆ toString()

◆ visitRankFirstInterval()

void visitRankFirstInterval ( SequenceVar  sequence,
int  index 
)
inlineinherited

Definition at line 78 of file DecisionVisitor.java.

◆ visitRankLastInterval()

void visitRankLastInterval ( SequenceVar  sequence,
int  index 
)
inlineinherited

Definition at line 82 of file DecisionVisitor.java.

◆ visitScheduleOrExpedite()

void visitScheduleOrExpedite ( IntervalVar  var,
long  est 
)
inlineinherited

Definition at line 74 of file DecisionVisitor.java.

◆ visitScheduleOrPostpone()

void visitScheduleOrPostpone ( IntervalVar  var,
long  est 
)
inlineinherited

Definition at line 70 of file DecisionVisitor.java.

◆ visitSetVariableValue()

void visitSetVariableValue ( IntVar  var,
long  value 
)
inlineinherited

Definition at line 62 of file DecisionVisitor.java.

◆ visitSplitVariableDomain()

void visitSplitVariableDomain ( IntVar  var,
long  value,
boolean  start_with_lower_half 
)
inlineinherited

Definition at line 66 of file DecisionVisitor.java.

◆ visitUnknownDecision()

void visitUnknownDecision ( )
inlineinherited

Definition at line 86 of file DecisionVisitor.java.


The documentation for this class was generated from the following file: