de.uka.ilkd.key.axiom_abstraction

Interface PartialComparator<T>

Type Parameters:

T - the type of objects that may be compared by this comparator

All Known Implementing Classes:

AbstractDomainLattice, AbstractPredicateAbstractionLattice, BooleanLattice, ConjunctivePredicateAbstractionLattice, DisjunctivePredicateAbstractionLattice, SignAnalysisLattice, SimplePredicateAbstractionLattice

public interface PartialComparator<T>

A comparison function, which imposes a partial ordering on some collection of objects.

The ordering imposed by a comparator c on a set of elements S is said to be consistent with equals if and only if c.compare(e1, e2)==EQ has the same boolean value as e1.equals(e2) for every e1 and e2 in S.

Author:

Dominic Scheurer

See Also:

Comparator

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static class	PartialComparator.PartialComparisonResult Possible results of the comparison.

Method Summary

Modifier and Type	Method and Description
PartialComparator.PartialComparisonResult	compare(T o1, T o2) Compares its two arguments for order.

Method Detail

compare

PartialComparator.PartialComparisonResult compare(T o1,
                                                  T o2)

Compares its two arguments for order. If the arguments are incomparable, UNDEF is returned. Otherwise, the method returns LTE, EQ, or GTE as the first argument is less than, equal to, or greater than the second.

Parameters:

o1 - the first object to be compared.

o2 - the second object to be compared.

Returns:

LTE, EQ, or GTE as the first argument is less than, equal to, or greater than the second; returns UNDEF if the arguments are incomparable.