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