|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
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 |
Provides classes for constructing and composing boolean matrices, boolean circuits, and boolean representations of integers.
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.
BooleanFactory
,
BooleanValue
,
BooleanMatrix
,
Int
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |