|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use BooleanConstant | |
---|---|
kodkod.engine.bool | Provides classes for constructing and composing boolean matrices, boolean circuits, and boolean representations of integers. |
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 BooleanConstant in kodkod.engine.bool |
---|
Fields in kodkod.engine.bool declared as BooleanConstant | |
---|---|
static BooleanConstant |
BooleanConstant.FALSE
|
static BooleanConstant |
BooleanConstant.TRUE
|
Methods in kodkod.engine.bool that return BooleanConstant | |
---|---|
static BooleanConstant |
BooleanConstant.constant(boolean value)
Returns the BooleanConstant that represents the given boolean value. |
abstract BooleanConstant |
Operator.Nary.identity()
Returns the boolean constant c such that for all logical values x, c composed with x using this operator will result in x. |
abstract BooleanConstant |
Operator.Nary.shortCircuit()
Returns the boolean constant c such that for all logical values x, c composed with x using this operator will result in c. |
Uses of BooleanConstant in kodkod.engine.fol2sat |
---|
Methods in kodkod.engine.fol2sat that return BooleanConstant | |
---|---|
static BooleanConstant |
Translator.evaluate(Formula formula,
Instance instance,
Options options)
Evaluates the given formula to a BooleanConstant using the provided instance and options. |
BooleanConstant |
TrivialFormulaException.value()
Returns the value to which this.formula is trivially reducible. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |