AbstrDomElem
- ConcrDomElem
- public abstract class AbstractDomainLattice<ConcrDomElem> extends Object implements PartialComparator<AbstractDomainElement>, Iterable<AbstractDomainElement>
PartialComparator.PartialComparisonResult
Constructor and Description |
---|
AbstractDomainLattice() |
Modifier and Type | Method and Description |
---|---|
abstract AbstractDomainElement |
abstractFrom(ConcrDomElem elem)
Abstracts from a given element of the concrete domain by
returning a suitable abstract element.
|
PartialComparator.PartialComparisonResult |
compare(AbstractDomainElement a,
AbstractDomainElement b)
Compares its two arguments for order.
|
abstract Iterator<AbstractDomainElement> |
iterator()
Iterates through the abstract domain elements of this
abstract domain starting by the smallest element; if
an element b is returned by the iterator after an element
a, the either compare(a,b) == LTE, or compare(a,b) == UNDEF
must hold (i.e., b may not be smaller than a).
|
abstract AbstractDomainElement |
join(AbstractDomainElement a,
AbstractDomainElement b)
A lattice join operation; finds an abstract element that is
the least upper bound of the set consisting of the elements
a and b.
|
public abstract AbstractDomainElement abstractFrom(ConcrDomElem elem)
elem
- Element to abstract from.public abstract AbstractDomainElement join(AbstractDomainElement a, AbstractDomainElement b)
a
- First element to find the least upper bound for.b
- Second element to find the least upper bound for.public PartialComparator.PartialComparisonResult compare(AbstractDomainElement a, AbstractDomainElement b)
PartialComparator
compare
in interface PartialComparator<AbstractDomainElement>
a
- the first object to be compared.b
- the second object to be compared.public abstract Iterator<AbstractDomainElement> iterator()
iterator
in interface Iterable<AbstractDomainElement>