|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use TrivialFormulaException | |
---|---|
kodkod.engine.fol2sat |
Uses of TrivialFormulaException in kodkod.engine.fol2sat |
---|
Methods in kodkod.engine.fol2sat that throw TrivialFormulaException | |
---|---|
static Translation |
Translator.translate(Formula formula,
Bounds bounds,
Options options)
Translates the given formula using the specified bounds and options. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |