|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use TrivialFormulaException | |
---|---|
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. |
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 |