Java Reference
Java Reference
DecisionBuilder.java
Go to the documentation of this file.
71 return (getClass() == DecisionBuilder.class) ? mainJNI.DecisionBuilder_toString(swigCPtr, this) : mainJNI.DecisionBuilder_toStringSwigExplicitDecisionBuilder(swigCPtr, this);
String toString()
Definition: DecisionBuilder.java:70
void swigDirectorDisconnect()
Definition: DecisionBuilder.java:42
void swigReleaseOwnership()
Definition: DecisionBuilder.java:47
Decision nextWrap(Solver s)
This is the main method of the decision builder class.
Definition: DecisionBuilder.java:65
A DecisionBuilder is responsible for creating the search tree.
Definition: DecisionBuilder.java:14
void swigTakeOwnership()
Definition: DecisionBuilder.java:52
A Decision represents a choice point in the search tree.
Definition: Decision.java:14
DecisionBuilder(long cPtr, boolean cMemoryOwn)
Definition: DecisionBuilder.java:17
DecisionBuilder()
Definition: DecisionBuilder.java:57
A BaseObject is the root of all reversibly allocated objects.
Definition: BaseObject.java:14
Solver Class A solver represents the main computation engine.
Definition: Solver.java:57