Uses of Package
kodkod.engine.bool

Packages that use kodkod.engine.bool
kodkod.engine.bool Provides classes for constructing and composing boolean matrices, boolean circuits, and boolean representations of integers. 
kodkod.engine.config Provides a mechanism for configuring the kodkod engine and for passing messages between the engine and the client. 
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.bool used by kodkod.engine.bool
BooleanAccumulator
          An accumulator for easy construction of gates with multiple inputs.
BooleanConstant
          A boolean constant, true or false.
BooleanFactory
          A factory for creating boolean values, matrices, and ints.
BooleanFormula
          A non-constant boolean value with zero or more inputs.
BooleanMatrix
          An n-dimensional matrix of boolean values.
BooleanValue
          Represents a boolean value, which may be a formula or a constant.
BooleanVariable
          Represents a boolean variable.
BooleanVisitor
          Visits boolean formulas.
Dimensions
          Stores information about the size of a matrix.
Int
          An integer represented using boolean values and unary or binary encoding.
ITEGate
          An if-then-else gate.
MultiGate
          A logic gate with two or more inputs; an AND or an OR gate.
NotGate
          A logic NOT gate.
Operator
          Operator associated with a boolean value.
Operator.Nary
          An n-ary operator, where n>=2
 

Classes in kodkod.engine.bool used by kodkod.engine.config
BooleanFormula
          A non-constant boolean value with zero or more inputs.
 

Classes in kodkod.engine.bool used by kodkod.engine.fol2sat
BooleanConstant
          A boolean constant, true or false.
BooleanMatrix
          An n-dimensional matrix of boolean values.
Int
          An integer represented using boolean values and unary or binary encoding.