|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
See:
Description
| Interface Summary | |
|---|---|
| Clausifiable | |
| Domain | |
| Encoding | |
| Evaluable | |
| Class Summary | |
|---|---|
| Constant | |
| CSPLauncher | |
| EnumeratedDomain | |
| Predicate | A predicate is a formula given in intension. |
| RangeDomain | |
| SingletonDomain | Represents a domain with a single value. |
| SolverFactory | User friendly access to pre-constructed solvers. |
| Var | |
Classes needed for CSP to SAT translation.
Those utility classes are used in the CSP readers to translate CSP problems into SAT. They are basic, subject to change, and not considered part of the public API of SAT4J.
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||