Class | Description |
---|---|
BooleanDomainElem |
A domain element of the simple boolean lattice.
|
BooleanLattice |
A simple lattice for booleans.
|
Bottom |
The Bottom element of the boolean lattice, representing
no boolean at all.
|
False |
The False element of the boolean lattice, representing
exactly the boolean false.
|
Top |
The Top element of the boolean lattice, representing
all booleans (i.e., true and false).
|
True |
The True element of the boolean lattice, representing
exactly the boolean true.
|