Java Reference
Java Reference
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]
|
inlineprotected |
Definition at line 17 of file Decision.java.
◆ Decision() [2/2]
|
inline |
Definition at line 57 of file Decision.java.
Member Function Documentation
◆ accept()
|
inline |
Accepts the given visitor.
Definition at line 83 of file Decision.java.
◆ apply()
|
inline |
Apply will be called first when the decision is executed.
Definition at line 65 of file Decision.java.
◆ delete()
|
inline |
Reimplemented from BaseObject.
Definition at line 31 of file Decision.java.
◆ refute()
|
inline |
Refute will be called after a backtrack.
Definition at line 72 of file Decision.java.
◆ swigDirectorDisconnect()
|
inlineprotected |
Definition at line 42 of file Decision.java.
◆ swigReleaseOwnership()
|
inline |
Definition at line 47 of file Decision.java.
◆ swigTakeOwnership()
|
inline |
Definition at line 52 of file Decision.java.
◆ toString()
|
inline |
Reimplemented from BaseObject.
Definition at line 76 of file Decision.java.
The documentation for this class was generated from the following file: