| Interface | Description |
|---|---|
| PartialComparator<T> |
A comparison function, which imposes a partial ordering on some
collection of objects.
|
| Class | Description |
|---|---|
| AbstractDomainElement |
An element of an abstract domain.
|
| AbstractDomainLattice |
An abstract domain is a countable lattice with a partial order relation and a
join operator.
|
| Enum | Description |
|---|---|
| PartialComparator.PartialComparisonResult |
Possible results of the comparison.
|