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