|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES All Classes | ||||||||
See:
Description
| Interface Summary | |
|---|---|
| ExplainedConstraintPlugin | |
| ExplainedDomain | |
| ExplainedProblem | |
| ExplainedVar | |
| Explanation | |
| PalmConstraint | |
| PalmVarListener | |
| Class Summary | |
|---|---|
| BendersProblem | Choco problem extension involving explanations and a Benders decomposition algorithm based on the use of explanations. |
| JumpProblem | |
| PalmProblem | Choco problem extension involving explanations and explanation-based algorithms (mac-dbt, decision-repair...) |
A package devoted to e-tools - an explanation-based solver and all the needed tools. Such explanations provide information about all the decisions taken by the solver. This is useful for user interaction and for intelligent backtracking algorithms. The API is very similar to the usual Choco API.
|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES All Classes | ||||||||