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