Java Reference
Java Reference
Decision.java
Go to the documentation of this file.
77 return (getClass() == Decision.class) ? mainJNI.Decision_toString(swigCPtr, this) : mainJNI.Decision_toStringSwigExplicitDecision(swigCPtr, this);
84 if (getClass() == Decision.class) mainJNI.Decision_accept(swigCPtr, this, DecisionVisitor.getCPtr(visitor), visitor); else mainJNI.Decision_acceptSwigExplicitDecision(swigCPtr, this, DecisionVisitor.getCPtr(visitor), visitor);
A DecisionVisitor is used to inspect a decision.
Definition: DecisionVisitor.java:14
void swigTakeOwnership()
Definition: Decision.java:52
void swigDirectorDisconnect()
Definition: Decision.java:42
Decision(long cPtr, boolean cMemoryOwn)
Definition: Decision.java:17
A Decision represents a choice point in the search tree.
Definition: Decision.java:14
void swigReleaseOwnership()
Definition: Decision.java:47
A BaseObject is the root of all reversibly allocated objects.
Definition: BaseObject.java:14
void apply(Solver s)
Apply will be called first when the decision is executed.
Definition: Decision.java:65
Solver Class A solver represents the main computation engine.
Definition: Solver.java:57