Package org.deri.iris.utils

Interface Summary
IFloatingPointComparator A floating-point number comparator.
 

Class Summary
DisjointSets<T> A data structure for representing and managing partitions, i.e.
StandardFloatingPointComparator Utility class for floating point comparison.
StrictFloatingPointComparator A floating point comparator that uses the default java behaviour.
TermMatchingAndSubstitution A collection of utility methods for term/tuple matching and variable substitution.
TotalIndex Helper class for the semi-naive evaluator.
UniqueList<E> Modified array list implementation that enforces uniqueness, but maintains ordering.