Uses of Class
kodkod.engine.bool.BooleanConstant

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.