Package | Description |
---|---|
de.uka.ilkd.key.axiom_abstraction.signanalysis |
Modifier and Type | Class and Description |
---|---|
class |
Bottom
The Bottom element of the sign lattice, representing
no number at all.
|
class |
Geq
The Geq element of the sign lattice, representing
all positive integers and zero.
|
class |
Leq
The Leq element of the sign lattice, representing
all negative numbers and zero.
|
class |
Neg
The Neg element of the sign lattice, representing
all strictly negative integers.
|
class |
Pos
The Pos element of the sign lattice, representing
all strictly positive numbers.
|
class |
Top
The Top element of the sign lattice, representing
all integers.
|
class |
Zero
The Zero element of the sign lattice, representing
only the number 0.
|
Copyright © 2003-2019 The KeY-Project.