|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use org.sat4j.reader.csp | |
|---|---|
| org.sat4j.reader | Some utility classes to read problems from plain text files. |
| org.sat4j.reader.csp | Classes needed for CSP to SAT translation. |
| Classes in org.sat4j.reader.csp used by org.sat4j.reader | |
|---|---|
| Relation
A relation is a formula given in extension. |
|
| Classes in org.sat4j.reader.csp used by org.sat4j.reader.csp | |
|---|---|
| Clausifiable
|
|
| Domain
|
|
| Encoding
|
|
| Evaluable
|
|
| Relation
A relation is a formula given in extension. |
|
| Supports
|
|
| Var
|
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||