| BinaryMap<K1,K2,V> |
A BinaryMap is a map : K1 x K2 -> V.
|
| Cache |
This class provides an interface for caching files.
|
| ClassSelector |
ClassSelector provides methods for selecting a class that is closest
to a specified object in the class hierarchy.
|
| Colors |
This is a utility for encoding a Color object as an HTML color string
and decoding the HTML color string back to a Color object.
|
| Combination<T> |
This is a class that enumerates all combinations of list elements.
|
| ConcurrentBinaryMap<K1,K2,V> |
This is a concurrent version of BinaryMap.
|
| CoreUtil |
This class contains some utility methods.
|
| Data<T> |
This class is used to hold some object.
|
| EBDD |
This class provides some more methods for BDD operations.
|
| Filter |
A Filter can collect elements that satisfy a specified filter rule.
|
| FSAContainmentOrder |
This class defines a partial order for FSA.
|
| HashSet<T> |
This is basically the same as java.util.HashSet except that the
string representation of a set is "{...}" instead of "[...]".
|
| HTMLEntities |
This class provides mappings of HTML entities.
|
| HTMLEntities.Entity |
This class provides an implementation of HTML entities.
|
| IntegerComparator |
This class provides a comparator for integers.
|
| LatestAppearanceRecord<T> |
This class provides an implementation of latest appearance records (LAR).
|
| Lattice<T> |
This class provides functions to maintain a lattice.
|
| Lists |
This methods provide utility methods for List objects.
|
| LTLFilterRules |
This class contains several filter rules for LTL formulae.
|
| Matrix<T> |
This class provides a very simple implementation of generic matrices.
|
| Numbers |
This class provides utility methods for numbers.
|
| Pair<E1,E2> |
A Pair is a pair of objects.
|
| Permutation<T> |
This class provides methods for computing all permutations of an array (with
size smaller than 17) based on [E.
|
| PluginUtil |
This class provides methods for plugin-related operations.
|
| PowerSet<T> |
This class provides methods for constructing a power set of a set.
|
| PrioritySet<T> |
A priority set is a set of elements with priorities.
|
| Relation<T> |
A Relation is a configurable relation.
|
| Sets |
This class provides several set operations.
|
| Singleton<T> |
A singleton is an object containing another object.
|
| StringComparator |
A comparator that sorts strings ascendantly.
|
| StringComparator.SortAscendingly |
This is a comparator that sorts strings ascendingly.
|
| StringComparator.SortDescendingly |
This is a comparator that sorts strings descendingly.
|
| Strings |
This class provides utility methods for strings.
|
| ThreadWrapper<T extends java.lang.Thread> |
Deprecated.
|
| Tree<D> |
This class provides a generic tree.
|
| TreeNode<D> |
A tree node can have one parent node and several child nodes.
|
| TrinaryMap<K1,K2,K3,V> |
A TrinaryMap is a map : K1 x K2 x K3 -> V.
|
| Triple<E1,E2,E3> |
A Triple is a triple of objects.
|
| XMLUtil |
This class provides utility methods for manipulating XML files.
|