|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use kodkod.engine.fol2sat | |
|---|---|
| kodkod.engine.fol2sat | Provides a facade for translating, evaluating, and approximating Kodkod formulas, expressions, and int expressions with respect to a given Bounds (or Instance) and Options. |
| Classes in kodkod.engine.fol2sat used by kodkod.engine.fol2sat | |
|---|---|
| Translation
Stores the translation of a kodkod formula
to CNF. |
|
| TrivialFormulaException
Thrown when a formula is found to be trivially (un)satisfiable with respect to given Bounds. |
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||