Package | Description |
---|---|
de.uka.ilkd.key.axiom_abstraction.boollattice |
Modifier and Type | Class and Description |
---|---|
class |
Bottom
The Bottom element of the boolean lattice, representing
no boolean at all.
|
class |
False
The False element of the boolean lattice, representing
exactly the boolean false.
|
class |
Top
The Top element of the boolean lattice, representing
all booleans (i.e., true and false).
|
class |
True
The True element of the boolean lattice, representing
exactly the boolean true.
|
Copyright © 2003-2019 The KeY-Project.