Package | Description |
---|---|
de.uka.ilkd.key.axiom_abstraction.boollattice |
Class and 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.
|
Copyright © 2003-2019 The KeY-Project.