Java Reference

Java Reference

DecisionVisitor

Detailed Description

A DecisionVisitor is used to inspect a decision.

It contains virtual methods for all type of 'declared' decisions.

Definition at line 14 of file DecisionVisitor.java.

Public Member Functions

synchronized void delete ()
 
void swigReleaseOwnership ()
 
void swigTakeOwnership ()
 
 DecisionVisitor ()
 
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

 DecisionVisitor (long cPtr, boolean cMemoryOwn)
 
void swigDirectorDisconnect ()
 

Constructor & Destructor Documentation

◆ DecisionVisitor() [1/2]

DecisionVisitor ( long  cPtr,
boolean  cMemoryOwn 
)
inlineprotected

Definition at line 17 of file DecisionVisitor.java.

◆ DecisionVisitor() [2/2]

DecisionVisitor ( )
inline

Definition at line 57 of file DecisionVisitor.java.

Member Function Documentation

◆ delete()

synchronized void delete ( )
inline

Reimplemented from BaseObject.

Reimplemented in SymmetryBreaker.

Definition at line 31 of file DecisionVisitor.java.

◆ swigDirectorDisconnect()

void swigDirectorDisconnect ( )
inlineprotected

Reimplemented in SymmetryBreaker.

Definition at line 42 of file DecisionVisitor.java.

◆ swigReleaseOwnership()

void swigReleaseOwnership ( )
inline

Reimplemented in SymmetryBreaker.

Definition at line 47 of file DecisionVisitor.java.

◆ swigTakeOwnership()

void swigTakeOwnership ( )
inline

Reimplemented in SymmetryBreaker.

Definition at line 52 of file DecisionVisitor.java.

◆ toString()

◆ visitRankFirstInterval()

void visitRankFirstInterval ( SequenceVar  sequence,
int  index 
)
inline

Definition at line 78 of file DecisionVisitor.java.

◆ visitRankLastInterval()

void visitRankLastInterval ( SequenceVar  sequence,
int  index 
)
inline

Definition at line 82 of file DecisionVisitor.java.

◆ visitScheduleOrExpedite()

void visitScheduleOrExpedite ( IntervalVar  var,
long  est 
)
inline

Definition at line 74 of file DecisionVisitor.java.

◆ visitScheduleOrPostpone()

void visitScheduleOrPostpone ( IntervalVar  var,
long  est 
)
inline

Definition at line 70 of file DecisionVisitor.java.

◆ visitSetVariableValue()

void visitSetVariableValue ( IntVar  var,
long  value 
)
inline

Definition at line 62 of file DecisionVisitor.java.

◆ visitSplitVariableDomain()

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

Definition at line 66 of file DecisionVisitor.java.

◆ visitUnknownDecision()

void visitUnknownDecision ( )
inline

Definition at line 86 of file DecisionVisitor.java.


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