|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |