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:1738
This exceptions signal that a failure has been raised in the C++ world.
Definition: Solver.java:85
This class acts as a intermediate step between a c++ decision builder and a java one.
Definition: JavaDecisionBuilder.java:23