Java Reference

Java Reference

Decision

Detailed Description

A Decision represents a choice point in the search tree.

The two main methods are Apply() to go left, or Refute() to go right.

Definition at line 14 of file Decision.java.

Public Member Functions

synchronized void delete ()
 
void swigReleaseOwnership ()
 
void swigTakeOwnership ()
 
 Decision ()
 
void apply (Solver s)
 Apply will be called first when the decision is executed. More...
 
void refute (Solver s)
 Refute will be called after a backtrack. More...
 
String toString ()
 
void accept (DecisionVisitor visitor)
 Accepts the given visitor. More...
 

Protected Member Functions

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

Constructor & Destructor Documentation

◆ Decision() [1/2]

Decision ( long  cPtr,
boolean  cMemoryOwn 
)
inlineprotected

Definition at line 17 of file Decision.java.

◆ Decision() [2/2]

Decision ( )
inline

Definition at line 57 of file Decision.java.

Member Function Documentation

◆ accept()

void accept ( DecisionVisitor  visitor)
inline

Accepts the given visitor.

Definition at line 83 of file Decision.java.

◆ apply()

void apply ( Solver  s)
inline

Apply will be called first when the decision is executed.

Definition at line 65 of file Decision.java.

◆ delete()

synchronized void delete ( )
inline

Reimplemented from BaseObject.

Definition at line 31 of file Decision.java.

◆ refute()

void refute ( Solver  s)
inline

Refute will be called after a backtrack.

Definition at line 72 of file Decision.java.

◆ swigDirectorDisconnect()

void swigDirectorDisconnect ( )
inlineprotected

Definition at line 42 of file Decision.java.

◆ swigReleaseOwnership()

void swigReleaseOwnership ( )
inline

Definition at line 47 of file Decision.java.

◆ swigTakeOwnership()

void swigTakeOwnership ( )
inline

Definition at line 52 of file Decision.java.

◆ toString()

String toString ( )
inline

Reimplemented from BaseObject.

Definition at line 76 of file Decision.java.


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