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