Java Reference
Java Reference
JavaDecisionBuilder.java
Go to the documentation of this file.
A DecisionBuilder is responsible for creating the search tree.
Definition: DecisionBuilder.java:15
A Decision represents a choice point in the search tree.
Definition: Decision.java:15
This class acts as a intermediate step between a c++ decision builder and a java one.
Definition: JavaDecisionBuilder.java:23
Decision next(Solver solver)
This is the new method to subclass when defining a java decision builder.
Definition: JavaDecisionBuilder.java:36
final Decision nextWrap(Solver solver)
This methods wraps the calls to next() and catches fail exceptions.
Definition: JavaDecisionBuilder.java:26
This exceptions signal that a failure has been raised in the C++ world.
Definition: Solver.java:107
Solver Class A solver represents the main computation engine.
Definition: Solver.java:76
Decision makeFailDecision()
Definition: Solver.java:3008