|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
See:
Description
| Interface Summary | |
|---|---|
| Clausifiable | |
| Domain | |
| Encoding | |
| Evaluable | |
| Relation | A relation is a formula given in extension. |
| Class Summary | |
|---|---|
| AllDiff | |
| BessiereSupports | |
| BinarySupportEncoding | |
| Constant | |
| DirectEncoding | |
| EnumeratedDomain | |
| GeneralizedSupportEncoding | |
| GentSupports | |
| Nogoods | |
| Predicate | A predicate is a formula given in intension. |
| RangeDomain | |
| SingletonDomain | |
| Supports | |
| Var | |
| WalshSupports | |
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 | |||||||||