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