Package org.deri.iris.utils.equivalence

Interface Summary

IEquivalentTerms	Defines equivalence between terms.
IEquivalentTermsFactory	Creates data structures to establish equivalence relations between terms.

Class Summary

IgnoreTermEquivalence	An ineffective term equivalence implementation, i.e.
IgnoreTermEquivalenceFactory	A factory that creates data-structures that ignore term equivalence.
TermEquivalence	An utility class to define equivalence between terms.
TermEquivalenceFactory	Creates a data structure that uses the disjoint-set data structure to establish equivalence relations between terms.