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