Package kodkod.engine.bool

Provides classes for constructing and composing boolean matrices, boolean circuits, and boolean representations of integers.

See:
          Description

Interface Summary
BooleanVisitor<T,A> Visits boolean formulas.
 

Class Summary
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.
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
 

Package kodkod.engine.bool Description

Provides classes for constructing and composing boolean matrices, boolean circuits, and boolean representations of integers.

Package Specification

Contains classes that represent boolean matrices, boolean circuits, and boolean representation of integers. Matrices, circuits, and integers are constructed via factory methods of the BooleanFactory class.

Related Documentation

See Also:
BooleanFactory, BooleanValue, BooleanMatrix, Int