All Classes Interface Summary Class Summary Enum Summary Exception Summary
| Class |
Description |
| AbstractAStarThread<H extends Head,T extends Tail> |
|
| AbstractAStarThread.StorageHandler<H extends Head,T extends Tail> |
The storageHandler handles the storing and retrieving of elements from
the statespace searched by the AStar algorithm
|
| AbstractCompressor<H> |
|
| AbstractFastLookupPriorityQueue |
|
| AbstractFixedLengthListCompressor<K extends java.lang.Number> |
Abstract base class for vector storage
Note that the hashCode operation does not just look at the bitmask, but the
equals does.
|
| AbstractHashCodeProvider |
|
| AbstractTrace |
|
| AdHashHashCodeProvider |
The AdHashHashCodeProvider is an incremental hash function, loosely based on
the MurMur3 hash function.
|
| AStarException |
|
| AStarObserver |
|
| AStarThread<H extends Head,T extends Tail> |
Interface for computing one (or more) alignments between a trace and a model.
|
| AStarThread.ASynchronousMoveSorting |
Enumeration to set the sorting of moves.
|
| AStarThread.Canceller |
|
| AStarThread.CPUEfficient<H extends Head,T extends Tail> |
|
| AStarThread.MemoryEfficient<H extends Head,T extends Tail> |
|
| AStarThread.QueueingModel |
|
| AStarThread.Type |
|
| BernsteinHashCodeProvider |
|
| BitMask |
|
| BreadthFirstFastLookupPriorityQueue |
|
| ByteListCompressor |
|
| CachedStorageAwareDelegate<H extends Head,T extends FastLowerBoundTail> |
|
| Compressable |
Implementations of this interface should have an empty contructor.
|
| CompressableCompressor<C extends Compressable> |
A CompressableCompressor implements all the necessary interfaces to
efficiently store objects in a CompressedHashSet.
|
| CompressedHashSet<K> |
The implementation is not Thread-safe.
|
| CompressedStore<T> |
Implementation of this compressed store is not thread safe.
|
| CompressedStoreHashSetImpl<K> |
|
| CompressedStoreHashSetImpl.Int32G<K> |
|
| CompressedStoreHashSetImpl.Int4G<K> |
|
| CompressedStoreHashSetImpl.Int8G<K> |
|
| CompressedStoreHashSetImpl.IntCustomAlignment<K> |
|
| CompressedStoreHashSetImpl.Long<K> |
|
| CompressedStoreHashSetImpl.Result<K> |
|
| CompressedStoreImpl<T> |
|
| Deflater<T> |
|
| Delegate<H extends Head,T extends Tail> |
|
| DepthFirstFastLookupPriorityQueue |
|
| DijkstraTail |
Implementation of the tail that implements the Dijkstra estimate for the
AStar, i.e.
|
| DotGraphAStarObserver |
|
| DotSpanningTreeObserver |
|
| EqualOperation<K> |
Checks for equality between an object and a location in a CompressedStore.
|
| EqualOperation.Default<K> |
|
| FastByteArrayInputStream |
ByteArrayInputStream implementation that does not synchronize methods, nor
does it check for the end of stream.
|
| FastByteArrayOutputStream |
ByteArrayOutputStream implementation that doesn't synchronize methods and
doesn't copy the data on toByteArray().
|
| FastCloneTIntArrayList |
|
| FastLookupPriorityQueue |
|
| FastLowerBoundTail |
|
| FNV1aHashCodeProvider |
|
| FNV1HashCodeProvider |
|
| FSMGraphAStarObserver |
|
| FSMTraceAStarObserver |
|
| HashCodeProvider |
|
| HashCodeProviderTest |
|
| HashOperation<K> |
Interface for the hash operation needed to store objects in the
CompressedStoreHashSet class.
|
| HashOperation.Default<K> |
|
| Head |
The head determines the state in the search space.
|
| HeadDeflater<H extends Head> |
|
| IncrementalHashCodeProvider |
|
| Inflater<T> |
|
| IntListCompressor |
|
| JavaCollectionStorageHandler<H extends Head,T extends Tail> |
|
| JavaHashCodeProvider |
|
| JenkingsHashCodeProvider |
|
| LinearTrace |
|
| LongListCompressor |
|
| LPMatrix<S> |
This interface represents an LP matrix, consisting of an objective function,
an internal matrix, a right-hand-side vector, row- and column names, variable
types, constraint types and lower and upper bound.
|
| LPMatrix.DENSE |
Static class wrapping DENSE variants of LPMatrix
The dense variants of LPMatrix represent the internal MIP matrix
explicitly, i.e.
|
| LPMatrix.DENSE.GUROBI |
The dense variant for the Gurobi external solver.
|
| LPMatrix.DENSE.LPSOLVE |
The dense variant for the LpSolve external solver.
|
| LPMatrix.SPARSE |
Static class wrapping SPARSE variants of LPMatrix
The internal MIP matrix is represented by a hashmap from a pair of
coordinates to a value.
|
| LPMatrix.SPARSE.GUROBI |
The sparse variant for the Gurobi external solver.
|
| LPMatrix.SPARSE.LPSOLVE |
|
| LPMatrixException |
|
| LPProblemProvider |
|
| LPResult |
|
| MemoryEfficientAStarAlgorithm<H extends Head,T extends Tail> |
|
| MemoryEfficientStorageHandler<H extends Head,T extends Tail> |
|
| MurMur3HashCodeProvider |
|
| ObservableAStarThread<H extends Head,T extends Tail> |
|
| OneAtATimeHashCodeProvider |
|
| PartiallyOrderedTrace |
|
| RandomFastLookupPriorityQueue |
|
| Record |
Stores the little bit of information needed per volatile state in the
AStarAlgorithm.
|
| ResizeableFastByteArrayOutputStream |
ByteArrayOutputStream implementation that doesn't synchronize methods and
doesn't copy the data on toByteArray().
|
| ShortListCompressor |
|
| ShortShortMultiset |
|
| SkippableOutputStream |
|
| State<H extends Head,T extends Tail> |
A State can be constructed with or without a tail
Both equals and hashcode are defined on the head only
The tail is not guaranteed to be non-null
|
| StateCompressor<H extends Head,T extends Tail> |
|
| StorageAwareDelegate<H extends Head,T extends Tail> |
|
| StorageException |
|
| StorageTest |
|
| Tail |
The tail provides the actual estimate for a head.
|
| TailInflater<T extends Tail> |
|
| TBooleanIterator |
|
| Trace |
interface to represent a trace.
|