|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||
| 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. |
|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||