Java Reference
Java Reference
Decision.java
Go to the documentation of this file.
78 return (getClass() == Decision.class) ? mainJNI.Decision_toString(swigCPtr, this) : mainJNI.Decision_toStringSwigExplicitDecision(swigCPtr, this);
85 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:15
void swigTakeOwnership()
Definition: Decision.java:53
void swigDirectorDisconnect()
Definition: Decision.java:43
Decision(long cPtr, boolean cMemoryOwn)
Definition: Decision.java:18
A Decision represents a choice point in the search tree.
Definition: Decision.java:15
void swigReleaseOwnership()
Definition: Decision.java:48
A BaseObject is the root of all reversibly allocated objects.
Definition: BaseObject.java:16
void apply(Solver s)
Apply will be called first when the decision is executed.
Definition: Decision.java:66
Solver Class A solver represents the main computation engine.
Definition: Solver.java:73