Index (EfficientStorage)

A B C D E F G H I J L M N O P Q R S T U V W
All Classes All Packages

A

AbstractAStarThread<H extends Head,T extends Tail> - Class in nl.tue.astar.impl
AbstractAStarThread(Delegate<H, T>, Trace, int, AbstractAStarThread.StorageHandler<H, T>) - Constructor for class nl.tue.astar.impl.AbstractAStarThread: any implementation should, after calling this constructor, call initializeQueue(initialHead);
AbstractAStarThread.StorageHandler<H extends Head,T extends Tail> - Interface in nl.tue.astar.impl: The storageHandler handles the storing and retrieving of elements from the statespace searched by the AStar algorithm
AbstractCompressor<H> - Class in nl.tue.astar.impl
AbstractCompressor() - Constructor for class nl.tue.astar.impl.AbstractCompressor
AbstractFastLookupPriorityQueue - Class in nl.tue.astar.util
AbstractFastLookupPriorityQueue(int) - Constructor for class nl.tue.astar.util.AbstractFastLookupPriorityQueue
AbstractFastLookupPriorityQueue(int, int) - Constructor for class nl.tue.astar.util.AbstractFastLookupPriorityQueue
AbstractFixedLengthListCompressor<K extends java.lang.Number> - Class in nl.tue.storage.compressor: Abstract base class for vector storage Note that the hashCode operation does not just look at the bitmask, but the equals does.
AbstractFixedLengthListCompressor(int) - Constructor for class nl.tue.storage.compressor.AbstractFixedLengthListCompressor: Construct the compressor with a fixed length for all vectors.
AbstractHashCodeProvider - Class in nl.tue.storage.hashing.impl
AbstractHashCodeProvider(int, String) - Constructor for class nl.tue.storage.hashing.impl.AbstractHashCodeProvider
AbstractTrace - Class in nl.tue.astar.util
AbstractTrace(String, int) - Constructor for class nl.tue.astar.util.AbstractTrace
AbstractTrace(String, int[]) - Constructor for class nl.tue.astar.util.AbstractTrace
AbstractTrace(String, TIntList) - Constructor for class nl.tue.astar.util.AbstractTrace
activities - Variable in class nl.tue.astar.util.AbstractTrace
add(K) - Method in interface nl.tue.storage.CompressedHashSet: Returns the index of the given object in the backing store.
add(K) - Method in class nl.tue.storage.impl.CompressedStoreHashSetImpl
add(Record) - Method in class nl.tue.astar.util.AbstractFastLookupPriorityQueue: Inserts the specified element into this priority queue.
add(Record) - Method in interface nl.tue.astar.util.FastLookupPriorityQueue
addAllIfNew(TIntCollection) - Method in class nl.tue.astar.util.FastCloneTIntArrayList
addObserver(AStarObserver) - Method in class nl.tue.astar.impl.AbstractAStarThread
addObserver(AStarObserver) - Method in interface nl.tue.astar.ObservableAStarThread
addPathToRoot(Record) - Method in class nl.tue.astar.impl.DotGraphAStarObserver
addPathToRoot(Record) - Method in class nl.tue.astar.impl.DotSpanningTreeObserver
addToStorage(T) - Method in interface nl.tue.storage.CompressedStore: Adds a deflated version of the provided object to the storate.
addToStorage(T) - Method in class nl.tue.storage.impl.CompressedStoreImpl
AdHashHashCodeProvider - Class in nl.tue.storage.hashing.impl: The AdHashHashCodeProvider is an incremental hash function, loosely based on the MurMur3 hash function.
AdHashHashCodeProvider() - Constructor for class nl.tue.storage.hashing.impl.AdHashHashCodeProvider
adjustMat(int, int, double) - Method in interface nl.tue.astar.util.ilp.LPMatrix: adjusts the value at index row, column in the matrix.
adjustValue(short, short) - Method in class nl.tue.astar.util.ShortShortMultiset
algorithm - Variable in class nl.tue.astar.impl.memefficient.MemoryEfficientStorageHandler
allowMove(Record, int, int) - Method in class nl.tue.astar.impl.AbstractAStarThread: This method handles the filtering of moves in the situation the total ordering is implied.
AStarException - Exception in nl.tue.astar
AStarException(String) - Constructor for exception nl.tue.astar.AStarException
AStarException(Throwable) - Constructor for exception nl.tue.astar.AStarException
AStarObserver - Interface in nl.tue.astar
AStarThread<H extends Head,T extends Tail> - Interface in nl.tue.astar: Interface for computing one (or more) alignments between a trace and a model.
AStarThread.ASynchronousMoveSorting - Enum in nl.tue.astar: Enumeration to set the sorting of moves.
AStarThread.Canceller - Interface in nl.tue.astar
AStarThread.CPUEfficient<H extends Head,T extends Tail> - Class in nl.tue.astar
AStarThread.MemoryEfficient<H extends Head,T extends Tail> - Class in nl.tue.astar
AStarThread.QueueingModel - Enum in nl.tue.astar
AStarThread.Type - Enum in nl.tue.astar
available() - Method in class nl.tue.storage.FastByteArrayInputStream

B

BernsteinHashCodeProvider - Class in nl.tue.storage.hashing.impl
BernsteinHashCodeProvider() - Constructor for class nl.tue.storage.hashing.impl.BernsteinHashCodeProvider
BINARY - Static variable in interface nl.tue.astar.util.ilp.LPMatrix
BitMask - Class in nl.tue.storage.compressor
BitMask(byte[], int) - Constructor for class nl.tue.storage.compressor.BitMask
BitMask(byte[], int, int) - Constructor for class nl.tue.storage.compressor.BitMask
BitMask(int) - Constructor for class nl.tue.storage.compressor.BitMask
BLOCKSIZE - Static variable in interface nl.tue.storage.CompressedStore: size of each block.
BREADTHFIRST - nl.tue.astar.AStarThread.QueueingModel
BreadthFirstFastLookupPriorityQueue - Class in nl.tue.astar.util
BreadthFirstFastLookupPriorityQueue(int) - Constructor for class nl.tue.astar.util.BreadthFirstFastLookupPriorityQueue: Creates a PriorityQueue with the specified initial capacity that orders its elements according to the specified comparator.
BreadthFirstFastLookupPriorityQueue(int, boolean) - Constructor for class nl.tue.astar.util.BreadthFirstFastLookupPriorityQueue
BreadthFirstFastLookupPriorityQueue(int, int) - Constructor for class nl.tue.astar.util.BreadthFirstFastLookupPriorityQueue
BreadthFirstFastLookupPriorityQueue(int, int, boolean) - Constructor for class nl.tue.astar.util.BreadthFirstFastLookupPriorityQueue
BREADTHFIRSTWITHCERTAINTYPRIORITY - nl.tue.astar.AStarThread.QueueingModel
buf - Variable in class nl.tue.storage.FastByteArrayInputStream: Our byte buffer
buf - Variable in class nl.tue.storage.FastByteArrayOutputStream: Buffer and size
ByteListCompressor - Class in nl.tue.storage.compressor
ByteListCompressor(int) - Constructor for class nl.tue.storage.compressor.ByteListCompressor

C

C1 - Static variable in class nl.tue.storage.hashing.impl.AdHashHashCodeProvider
C1 - Static variable in class nl.tue.storage.hashing.impl.MurMur3HashCodeProvider
C2 - Static variable in class nl.tue.storage.hashing.impl.AdHashHashCodeProvider
C2 - Static variable in class nl.tue.storage.hashing.impl.MurMur3HashCodeProvider
CachedStorageAwareDelegate<H extends Head,T extends FastLowerBoundTail> - Interface in nl.tue.astar.impl.memefficient
canComplete() - Method in class nl.tue.astar.impl.DijkstraTail
canComplete() - Method in interface nl.tue.astar.Tail: returns true if and only if the replay can finish according to this tail, i.e.
checkIntOnByteArray(InputStream, int) - Method in class nl.tue.astar.impl.AbstractCompressor
checkInv() - Method in class nl.tue.astar.util.AbstractFastLookupPriorityQueue
checkInv(int) - Method in class nl.tue.astar.util.AbstractFastLookupPriorityQueue
checkShortOnByteArray(InputStream, short) - Method in class nl.tue.astar.impl.AbstractCompressor
clone() - Method in class nl.tue.astar.util.ShortShortMultiset
clone() - Method in class nl.tue.storage.compressor.BitMask
close() - Method in interface nl.tue.astar.AStarObserver: Needs to be called after the observer is no longer needed.
close() - Method in class nl.tue.astar.impl.DotGraphAStarObserver
close() - Method in class nl.tue.astar.impl.FSMGraphAStarObserver
close() - Method in class nl.tue.astar.impl.FSMTraceAStarObserver
compress(OutputStream) - Method in interface nl.tue.storage.compressor.Compressable: Write this object to the stream
Compressable - Interface in nl.tue.storage.compressor: Implementations of this interface should have an empty contructor.
CompressableCompressor<C extends Compressable> - Class in nl.tue.storage.compressor: A CompressableCompressor implements all the necessary interfaces to efficiently store objects in a CompressedHashSet.
CompressableCompressor(Class<C>) - Constructor for class nl.tue.storage.compressor.CompressableCompressor: The compressor needs to be able to instantiate objects of the class .
CompressedHashSet<K> - Interface in nl.tue.storage: The implementation is not Thread-safe.
CompressedStore<T> - Interface in nl.tue.storage: Implementation of this compressed store is not thread safe.
CompressedStoreHashSetImpl<K> - Class in nl.tue.storage.impl
CompressedStoreHashSetImpl(AbstractBackedHashSet<K>) - Constructor for class nl.tue.storage.impl.CompressedStoreHashSetImpl
CompressedStoreHashSetImpl.Int32G<K> - Class in nl.tue.storage.impl
CompressedStoreHashSetImpl.Int4G<K> - Class in nl.tue.storage.impl
CompressedStoreHashSetImpl.Int8G<K> - Class in nl.tue.storage.impl
CompressedStoreHashSetImpl.IntCustomAlignment<K> - Class in nl.tue.storage.impl
CompressedStoreHashSetImpl.Long<K> - Class in nl.tue.storage.impl
CompressedStoreHashSetImpl.Result<K> - Class in nl.tue.storage.impl
CompressedStoreImpl<T> - Class in nl.tue.storage.impl
CompressedStoreImpl(int, Deflater<? super T>) - Constructor for class nl.tue.storage.impl.CompressedStoreImpl
CompressedStoreImpl(int, Deflater<? super T>, Inflater<? extends T>) - Constructor for class nl.tue.storage.impl.CompressedStoreImpl
CompressedStoreImpl(int, Deflater<? super T>, Inflater<? extends T>, int) - Constructor for class nl.tue.storage.impl.CompressedStoreImpl
CompressedStoreImpl(Deflater<? super T>) - Constructor for class nl.tue.storage.impl.CompressedStoreImpl
CompressedStoreImpl(Deflater<? super T>, Inflater<? extends T>) - Constructor for class nl.tue.storage.impl.CompressedStoreImpl
CompressedStoreImpl(Deflater<? super T>, Inflater<? extends T>, int) - Constructor for class nl.tue.storage.impl.CompressedStoreImpl
computeChiSq(int, long, TIntIntMap) - Static method in class nl.tue.storage.hashing.HashCodeProviderTest
computedEstimateCount - Variable in class nl.tue.astar.impl.AbstractAStarThread
computeEstimate(Delegate<? extends Head, ? extends Tail>, Head, int) - Method in interface nl.tue.astar.FastLowerBoundTail: Starts the computation of the exact estimate on the first call.
computeNewTail(Record, T, H, int, int, int) - Method in class nl.tue.astar.impl.AbstractAStarThread
computeNextHead(Record, H, int, int, int) - Method in class nl.tue.astar.impl.AbstractAStarThread
considered - Variable in class nl.tue.astar.impl.AbstractAStarThread
contains(K) - Method in interface nl.tue.storage.CompressedHashSet: Returns the index of the given object in the backing store.
contains(K) - Method in class nl.tue.storage.impl.CompressedStoreHashSetImpl: The contains method is not synchronized.
contains(Record) - Method in class nl.tue.astar.util.AbstractFastLookupPriorityQueue
contains(Record) - Method in interface nl.tue.astar.util.FastLookupPriorityQueue: Checks if the queue contains a record pointing to the same state as the given record.
count - Variable in class nl.tue.storage.FastByteArrayInputStream: Number of bytes that we can read from the buffer
CPUEfficient(Delegate<H, T>, TObjectIntMap<H>, List<State<H, T>>, H, Trace, int) - Constructor for class nl.tue.astar.AStarThread.CPUEfficient
createInitialRecord(H, Trace) - Method in interface nl.tue.astar.Delegate: instantiates a record for the given head.
createInitialTail(H) - Method in interface nl.tue.astar.Delegate: creates the initial tail for the given head.
curEst - Variable in class nl.tue.astar.impl.FSMGraphAStarObserver
curState - Variable in class nl.tue.astar.impl.FSMGraphAStarObserver

D

Default() - Constructor for class nl.tue.storage.EqualOperation.Default
Default() - Constructor for class nl.tue.storage.HashOperation.Default
deflate(short[], OutputStream, int) - Method in class nl.tue.astar.impl.AbstractCompressor
deflate(C, OutputStream) - Method in class nl.tue.storage.compressor.CompressableCompressor
deflate(List<K>, OutputStream) - Method in class nl.tue.storage.compressor.AbstractFixedLengthListCompressor
deflate(DijkstraTail, OutputStream) - Method in class nl.tue.astar.impl.DijkstraTail
deflate(State<H, T>, OutputStream) - Method in class nl.tue.astar.impl.StateCompressor
deflate(ShortShortMultiset, OutputStream, int) - Method in class nl.tue.astar.impl.AbstractCompressor
deflate(T, OutputStream) - Method in interface nl.tue.storage.Deflater: deflate the given object into the provided stream.
deflateHead(List<K>, OutputStream) - Method in class nl.tue.storage.compressor.AbstractFixedLengthListCompressor
Deflater<T> - Interface in nl.tue.storage
deflateWithCheck(ShortShortMultiset, int, InputStream) - Method in class nl.tue.astar.impl.AbstractCompressor
delegate - Variable in class nl.tue.astar.impl.AbstractAStarThread
delegate - Variable in class nl.tue.astar.impl.memefficient.MemoryEfficientStorageHandler
Delegate<H extends Head,T extends Tail> - Interface in nl.tue.astar
deleteLps() - Method in class nl.tue.astar.util.LPProblemProvider
DENSE() - Constructor for class nl.tue.astar.util.ilp.LPMatrix.DENSE
DEPTHFIRST - nl.tue.astar.AStarThread.QueueingModel
DepthFirstFastLookupPriorityQueue - Class in nl.tue.astar.util
DepthFirstFastLookupPriorityQueue(int) - Constructor for class nl.tue.astar.util.DepthFirstFastLookupPriorityQueue: Creates a PriorityQueue with the specified initial capacity that orders its elements according to the specified comparator.
DepthFirstFastLookupPriorityQueue(int, boolean) - Constructor for class nl.tue.astar.util.DepthFirstFastLookupPriorityQueue
DepthFirstFastLookupPriorityQueue(int, int) - Constructor for class nl.tue.astar.util.DepthFirstFastLookupPriorityQueue
DepthFirstFastLookupPriorityQueue(int, int, boolean) - Constructor for class nl.tue.astar.util.DepthFirstFastLookupPriorityQueue
DEPTHFIRSTWITHCERTAINTYPRIORITY - nl.tue.astar.AStarThread.QueueingModel
DijkstraTail - Class in nl.tue.astar.impl: Implementation of the tail that implements the Dijkstra estimate for the AStar, i.e.
doTest(StorageTest.ErrorCount) - Static method in class nl.tue.storage.StorageTest
doTestInt(int, int, int, int, boolean) - Static method in class nl.tue.storage.hashing.HashCodeProviderTest
doTestInThread(StorageTest.ErrorCount, CompressedHashSet<List<?>>, StringBuffer, List<?>[], Set<Integer>) - Static method in class nl.tue.storage.StorageTest
doTestShort(int, int, int, int, boolean) - Static method in class nl.tue.storage.hashing.HashCodeProviderTest
DotGraphAStarObserver - Class in nl.tue.astar.impl
DotGraphAStarObserver(File) - Constructor for class nl.tue.astar.impl.DotGraphAStarObserver
DotGraphAStarObserver(File, CompressedStore<? extends State<?, ?>>) - Constructor for class nl.tue.astar.impl.DotGraphAStarObserver
DotSpanningTreeObserver - Class in nl.tue.astar.impl
DotSpanningTreeObserver(File) - Constructor for class nl.tue.astar.impl.DotSpanningTreeObserver

E

edgeCount - Variable in class nl.tue.astar.util.PartiallyOrderedTrace
edgeTraversed(Record, Record) - Method in interface nl.tue.astar.AStarObserver
edgeTraversed(Record, Record) - Method in class nl.tue.astar.impl.DotGraphAStarObserver
edgeTraversed(Record, Record) - Method in class nl.tue.astar.impl.DotSpanningTreeObserver
edgeTraversed(Record, Record) - Method in class nl.tue.astar.impl.FSMGraphAStarObserver
edgeTraversed(Record, Record) - Method in class nl.tue.astar.impl.FSMTraceAStarObserver
EMPTY - Static variable in class nl.tue.astar.impl.DijkstraTail
epsilon - Variable in class nl.tue.astar.impl.AbstractAStarThread
EQ - Static variable in interface nl.tue.astar.util.ilp.LPMatrix
EqualOperation<K> - Interface in nl.tue.storage: Checks for equality between an object and a location in a CompressedStore.
EqualOperation.Default<K> - Class in nl.tue.storage
equals(C, CompressedStore<C>, long) - Method in class nl.tue.storage.compressor.CompressableCompressor
equals(Object) - Method in class nl.tue.astar.impl.State
equals(Object) - Method in class nl.tue.astar.util.AbstractTrace
equals(Object) - Method in class nl.tue.astar.util.BreadthFirstFastLookupPriorityQueue
equals(Object) - Method in class nl.tue.astar.util.DepthFirstFastLookupPriorityQueue
equals(Object) - Method in class nl.tue.astar.util.PartiallyOrderedTrace
equals(Object) - Method in class nl.tue.astar.util.ShortShortMultiset
equals(Object) - Method in class nl.tue.storage.compressor.BitMask
equals(List<K>, CompressedStore<List<K>>, long) - Method in class nl.tue.storage.compressor.AbstractFixedLengthListCompressor
equals(K, CompressedStore<K>, long) - Method in class nl.tue.storage.EqualOperation.Default: Check for equality between a given object and a location in the store.
equals(K, CompressedStore<K>, long) - Method in interface nl.tue.storage.EqualOperation: Check for equality between a given object and a location in the store.
equals(State<H, T>, CompressedStore<State<H, T>>, long) - Method in class nl.tue.astar.impl.StateCompressor
equalsDeflating(H, CompressedStore<?>, long) - Method in class nl.tue.astar.impl.AbstractCompressor
equalsSorted(FastCloneTIntArrayList) - Method in class nl.tue.astar.util.FastCloneTIntArrayList
est2index - Variable in class nl.tue.astar.impl.FSMGraphAStarObserver
estimateComputed(Head) - Method in interface nl.tue.astar.AStarObserver
estimateComputed(Head) - Method in class nl.tue.astar.impl.DotGraphAStarObserver
estimateComputed(Head) - Method in class nl.tue.astar.impl.FSMGraphAStarObserver
estimateComputed(Head) - Method in class nl.tue.astar.impl.FSMTraceAStarObserver
ESTIMATEIRRELEVANT - Static variable in interface nl.tue.astar.ObservableAStarThread: constant which is used to signal that an estimate is irrelevant.
expectedCol(int, long) - Static method in class nl.tue.storage.hashing.HashCodeProviderTest
expectedLength - Variable in class nl.tue.astar.impl.AbstractAStarThread

F

FastByteArrayInputStream - Class in nl.tue.storage: ByteArrayInputStream implementation that does not synchronize methods, nor does it check for the end of stream.
FastByteArrayInputStream(byte[], int, int) - Constructor for class nl.tue.storage.FastByteArrayInputStream
FastByteArrayOutputStream - Class in nl.tue.storage: ByteArrayOutputStream implementation that doesn't synchronize methods and doesn't copy the data on toByteArray().
FastByteArrayOutputStream() - Constructor for class nl.tue.storage.FastByteArrayOutputStream: Constructs a stream with buffer capacity size 5K
FastByteArrayOutputStream(int) - Constructor for class nl.tue.storage.FastByteArrayOutputStream: Constructs a stream with the given initial size
FastCloneTIntArrayList - Class in nl.tue.astar.util
FastCloneTIntArrayList() - Constructor for class nl.tue.astar.util.FastCloneTIntArrayList
FastCloneTIntArrayList(int) - Constructor for class nl.tue.astar.util.FastCloneTIntArrayList
FastCloneTIntArrayList(int[]) - Constructor for class nl.tue.astar.util.FastCloneTIntArrayList
FastCloneTIntArrayList(FastCloneTIntArrayList) - Constructor for class nl.tue.astar.util.FastCloneTIntArrayList
FastLookupPriorityQueue - Interface in nl.tue.astar.util
FastLowerBoundTail - Interface in nl.tue.astar
finalHash() - Method in class nl.tue.storage.hashing.impl.JenkingsHashCodeProvider
finalNodeCounter - Variable in class nl.tue.astar.impl.DotGraphAStarObserver
finalNodeFound(Record) - Method in interface nl.tue.astar.AStarObserver
finalNodeFound(Record) - Method in class nl.tue.astar.impl.DotGraphAStarObserver
finalNodeFound(Record) - Method in class nl.tue.astar.impl.FSMGraphAStarObserver
finalNodeFound(Record) - Method in class nl.tue.astar.impl.FSMTraceAStarObserver
finished(LpSolve) - Method in class nl.tue.astar.util.LPProblemProvider: Signals that this solver is done and can be used by another thread.
firstAvailable() - Method in class nl.tue.astar.util.LPProblemProvider: Returns the first available solver.
FNV_32_PRIME - Static variable in class nl.tue.storage.hashing.impl.FNV1aHashCodeProvider
FNV_32_PRIME - Static variable in class nl.tue.storage.hashing.impl.FNV1HashCodeProvider
FNV1aHashCodeProvider - Class in nl.tue.storage.hashing.impl
FNV1aHashCodeProvider() - Constructor for class nl.tue.storage.hashing.impl.FNV1aHashCodeProvider
FNV1HashCodeProvider - Class in nl.tue.storage.hashing.impl
FNV1HashCodeProvider() - Constructor for class nl.tue.storage.hashing.impl.FNV1HashCodeProvider
FNV1INIT - Static variable in class nl.tue.storage.hashing.impl.FNV1aHashCodeProvider
FNV1INIT - Static variable in class nl.tue.storage.hashing.impl.FNV1HashCodeProvider
forEachEntry(TShortShortProcedure) - Method in class nl.tue.astar.util.ShortShortMultiset
fromByteArray(byte[]) - Method in class nl.tue.storage.compressor.AbstractFixedLengthListCompressor: reads an object of type K from an array of bytes of size numBytes()
fromByteArray(byte[]) - Method in class nl.tue.storage.compressor.ByteListCompressor
fromByteArray(byte[]) - Method in class nl.tue.storage.compressor.IntListCompressor
fromByteArray(byte[]) - Method in class nl.tue.storage.compressor.LongListCompressor
fromByteArray(byte[]) - Method in class nl.tue.storage.compressor.ShortListCompressor
fromStream(InputStream) - Method in class nl.tue.storage.compressor.IntListCompressor
FSMGraphAStarObserver - Class in nl.tue.astar.impl
FSMGraphAStarObserver(File) - Constructor for class nl.tue.astar.impl.FSMGraphAStarObserver
FSMTraceAStarObserver - Class in nl.tue.astar.impl
FSMTraceAStarObserver(String) - Constructor for class nl.tue.astar.impl.FSMTraceAStarObserver

G

GE - Static variable in interface nl.tue.astar.util.ilp.LPMatrix
get(int) - Method in interface nl.tue.astar.Trace: returns the activity at the given index
get(int) - Method in class nl.tue.astar.util.AbstractTrace
get(short) - Method in class nl.tue.astar.util.ShortShortMultiset
getAlignment() - Method in interface nl.tue.storage.CompressedStore: Returns the alignment of this store
getAlignment() - Method in class nl.tue.storage.impl.CompressedStoreImpl
getBackingStore() - Method in interface nl.tue.storage.CompressedHashSet: Returns the CompressedStore used by this Set.
getBackingStore() - Method in class nl.tue.storage.impl.CompressedStoreHashSetImpl
getBacktraceSize() - Method in interface nl.tue.astar.Record: returns the length of the path from this record to the root of the search
getBitMask(List<K>) - Method in class nl.tue.storage.compressor.AbstractFixedLengthListCompressor
getBitsPerVar(byte[]) - Static method in class nl.tue.astar.impl.AbstractCompressor
getBitsPerVar(short[]) - Static method in class nl.tue.astar.impl.AbstractCompressor
getBlocksInUse() - Method in interface nl.tue.storage.CompressedStore: Returns the number of blocks in use
getBlocksInUse() - Method in class nl.tue.storage.impl.CompressedStoreImpl
getByteArray() - Method in class nl.tue.storage.FastByteArrayOutputStream: Returns the byte array containing the written data.
getBytes() - Method in class nl.tue.storage.compressor.BitMask
getColName(int) - Method in interface nl.tue.astar.util.ilp.LPMatrix: Gets the name of a column, or null if there is none.
getColNames() - Method in interface nl.tue.astar.util.ilp.LPMatrix: Returns the column names or null if there are none.
getComputedEstimateCount() - Method in class nl.tue.astar.impl.AbstractAStarThread
getConstrType(int) - Method in interface nl.tue.astar.util.ilp.LPMatrix
getCostSoFar() - Method in interface nl.tue.astar.Record: returns the cost so far for reaching the corresponding state
getDelegate() - Method in interface nl.tue.astar.AStarThread: returns the delegate used for determining the possible moves during replay.
getDelegate() - Method in class nl.tue.astar.impl.AbstractAStarThread
getDelegate() - Method in class nl.tue.astar.impl.memefficient.MemoryEfficientAStarAlgorithm
getEdgeCount() - Method in class nl.tue.astar.util.PartiallyOrderedTrace
getEstimate(H, long) - Method in interface nl.tue.astar.impl.AbstractAStarThread.StorageHandler: return the estimate of the tail for the given head.
getEstimate(H, long) - Method in class nl.tue.astar.impl.JavaCollectionStorageHandler
getEstimate(H, long) - Method in class nl.tue.astar.impl.memefficient.MemoryEfficientStorageHandler
getEstimatedCosts(Delegate<? extends Head, ? extends Tail>, Head) - Method in interface nl.tue.astar.FastLowerBoundTail: get an estimate of the remaining distance to the target state in the search.
getEstimatedCosts(Delegate<? extends Head, ? extends Tail>, Head) - Method in class nl.tue.astar.impl.DijkstraTail
getEstimatedCosts(Delegate<? extends Head, ? extends Tail>, Head) - Method in interface nl.tue.astar.Tail: get an estimate of the remaining distance to the target state in the search.
getEstimatedRemainingCost() - Method in interface nl.tue.astar.Record: returns an underestimate for the remaining cost
getHashCode(C) - Method in class nl.tue.storage.compressor.CompressableCompressor: Return the hashCode of the object
getHashCode(List<K>) - Method in class nl.tue.storage.compressor.AbstractFixedLengthListCompressor: Return the hashCode of the object
getHashCode(K) - Method in class nl.tue.storage.HashOperation.Default: Return the hashCode of the object
getHashCode(K) - Method in interface nl.tue.storage.HashOperation: Returns the hashCode of the given object.
getHashCode(State<H, T>) - Method in class nl.tue.astar.impl.StateCompressor
getHashCode(CompressedStore<C>, long) - Method in class nl.tue.storage.compressor.CompressableCompressor: Retrieve the object from the store and return its hashCode.
getHashCode(CompressedStore<List<K>>, long) - Method in class nl.tue.storage.compressor.AbstractFixedLengthListCompressor: Retrieve the object from the store and return its hashCode.
getHashCode(CompressedStore<K>, long) - Method in class nl.tue.storage.HashOperation.Default: Retrieve the object from the store and return its hashCode.
getHashCode(CompressedStore<K>, long) - Method in interface nl.tue.storage.HashOperation: Returns the hashCode of the object stored in the store at index l.
getHashCode(CompressedStore<State<H, T>>, long) - Method in class nl.tue.astar.impl.StateCompressor
getHead() - Method in class nl.tue.astar.impl.State: returns the head
getHeadBasedEqualOperation() - Method in interface nl.tue.astar.impl.memefficient.StorageAwareDelegate
getHeadBasedHashOperation() - Method in interface nl.tue.astar.impl.memefficient.StorageAwareDelegate
getHeadDeflater() - Method in interface nl.tue.astar.impl.memefficient.CachedStorageAwareDelegate: additional requirement on the defater to allow for overwriting previously written objects.
getHeadDeflater() - Method in interface nl.tue.astar.impl.memefficient.StorageAwareDelegate
getHeadInflater() - Method in interface nl.tue.astar.impl.memefficient.StorageAwareDelegate
getIndexOf(H) - Method in interface nl.tue.astar.impl.AbstractAStarThread.StorageHandler
getIndexOf(H) - Method in class nl.tue.astar.impl.JavaCollectionStorageHandler
getIndexOf(H) - Method in class nl.tue.astar.impl.memefficient.MemoryEfficientStorageHandler
getIndices(BitMask) - Static method in class nl.tue.storage.compressor.BitMask: return the indices flagged by this bitmask
getInflater() - Method in interface nl.tue.storage.CompressedStore: Returns the inflater of this store;
getInflater() - Method in class nl.tue.storage.impl.CompressedStoreImpl
getInternalValues() - Method in class nl.tue.astar.util.ShortShortMultiset
getLabel() - Method in interface nl.tue.astar.Trace: returns the label of the trace
getLabel() - Method in class nl.tue.astar.util.AbstractTrace
getLastSolverResult() - Method in interface nl.tue.astar.util.ilp.LPMatrix: returns the last result returned by the external solver.
getLength() - Method in class nl.tue.astar.util.ShortShortMultiset
getLock() - Method in class nl.tue.storage.FastByteArrayInputStream: when reading from this stream, you need a lock on this object.
getLock() - Method in class nl.tue.storage.impl.SkippableOutputStream: When writing to this stream, you need a lock on this object.
getlowBo(int) - Method in interface nl.tue.astar.util.ilp.LPMatrix
getMat(int, int) - Method in interface nl.tue.astar.util.ilp.LPMatrix: Return the value at index row, column in the MIP matrix.
getMaxByteCount() - Method in class nl.tue.astar.impl.DijkstraTail
getMaxByteCount() - Method in class nl.tue.astar.impl.StateCompressor
getMaxByteCount() - Method in class nl.tue.storage.compressor.ByteListCompressor
getMaxByteCount() - Method in class nl.tue.storage.compressor.CompressableCompressor
getMaxByteCount() - Method in class nl.tue.storage.compressor.IntListCompressor
getMaxByteCount() - Method in class nl.tue.storage.compressor.LongListCompressor
getMaxByteCount() - Method in class nl.tue.storage.compressor.ShortListCompressor
getMaxByteCount() - Method in interface nl.tue.storage.Deflater: the method is called before each call to deflate.
getMaxCost() - Method in class nl.tue.astar.util.AbstractFastLookupPriorityQueue
getMaxCost() - Method in interface nl.tue.astar.util.FastLookupPriorityQueue
getMemory() - Method in interface nl.tue.storage.CompressedHashSet: returns the memory use of the backing store plus the size of the backingSet.
getMemory() - Method in interface nl.tue.storage.CompressedStore: Returns the used memory by this storage
getMemory() - Method in class nl.tue.storage.impl.CompressedStoreHashSetImpl
getMemory() - Method in class nl.tue.storage.impl.CompressedStoreImpl
getModelMove() - Method in interface nl.tue.astar.Record: return the id of the modelmove used to reach this record from previous.If none, then Move.BOTTOM is returned
getModelMoves(Record, Delegate<? extends Head, ? extends Tail>) - Method in interface nl.tue.astar.Head: get the model moves that are possible.
getMovedEvent() - Method in interface nl.tue.astar.Record: return the index in the trace representing the event that was moved to get to this step.
getNcolumns() - Method in interface nl.tue.astar.util.ilp.LPMatrix
getNextEvents(boolean[]) - Method in interface nl.tue.astar.Trace: Returns a TIntCollection containing all events that are currently enabled, given a boolean array indicating which events have been executed so far.
getNextEvents(boolean[]) - Method in class nl.tue.astar.util.AbstractTrace
getNextEvents(boolean[]) - Method in class nl.tue.astar.util.PartiallyOrderedTrace
getNextEvents(Delegate<? extends Head, ? extends Tail>, Trace) - Method in interface nl.tue.astar.Record: return the events in the trace that are currently enabled.
getNextEvents(BitMask) - Method in interface nl.tue.astar.Trace: Returns a TIntCollection containing all events that are currently enabled, given a bitmask for a boolean
getNextEvents(BitMask) - Method in class nl.tue.astar.util.AbstractTrace
getNextEvents(BitMask) - Method in class nl.tue.astar.util.PartiallyOrderedTrace
getNextHead(Record, Delegate<? extends Head, ? extends Tail>, int, int, int) - Method in interface nl.tue.astar.Head: Produce the next head, given the moves.
getNextRecord(Delegate<? extends Head, ? extends Tail>, Trace, Head, long, int, int, int) - Method in interface nl.tue.astar.Record: creates a new record, based on the operations m and l applied to the old head.
getNextTail(Delegate<? extends Head, ? extends Tail>, Head, int, int, int) - Method in class nl.tue.astar.impl.DijkstraTail
getNextTail(Delegate<? extends Head, ? extends Tail>, Head, int, int, int) - Method in interface nl.tue.astar.Tail: constructs the new tail based on the two operations from the old head.
getNextTailFromStorage(Delegate<? extends Head, ? extends Tail>, CompressedStore<S>, long, int, int, int) - Method in class nl.tue.astar.impl.DijkstraTail
getNextTailFromStorage(Delegate<? extends Head, ? extends Tail>, CompressedStore<S>, long, int, int, int) - Method in interface nl.tue.astar.Tail: constructs the new tail based on the two operations from the old state, which is stored in the given store at the given index.
getNrows() - Method in interface nl.tue.astar.util.ilp.LPMatrix
getNumBits() - Method in class nl.tue.storage.compressor.BitMask
getNumBytes(int) - Static method in class nl.tue.storage.compressor.BitMask: returns the number of bytes in a bitmask for a list containing precisely size elements.
getNumElts() - Method in class nl.tue.astar.util.ShortShortMultiset
getObject(long) - Method in interface nl.tue.storage.CompressedHashSet: Return the original object stored at index l in the backing storage.
getObject(long) - Method in interface nl.tue.storage.CompressedStore: Retrieves the object at a the given index.
getObject(long) - Method in class nl.tue.storage.impl.CompressedStoreHashSetImpl
getObject(long) - Method in class nl.tue.storage.impl.CompressedStoreImpl
getObjective(int) - Method in interface nl.tue.astar.util.ilp.LPMatrix
getOffset() - Method in interface nl.tue.astar.util.ilp.LPMatrix
getOnes() - Method in class nl.tue.storage.compressor.BitMask
getOptimalRecord(AStarThread.Canceller) - Method in interface nl.tue.astar.AStarThread: Returns a Record for an optimal alignment.
getOptimalRecord(AStarThread.Canceller) - Method in class nl.tue.astar.impl.AbstractAStarThread
getOptimalRecord(AStarThread.Canceller, double) - Method in class nl.tue.astar.impl.AbstractAStarThread
getOptimalRecord(AStarThread.Canceller, int) - Method in interface nl.tue.astar.AStarThread: Returns a Record for an optimal alignment.
getOptimalRecord(AStarThread.Canceller, int) - Method in class nl.tue.astar.impl.AbstractAStarThread
getOptimalRecord(AStarThread.Canceller, int, double) - Method in class nl.tue.astar.impl.AbstractAStarThread: gets the optimal record.
getOutputStreamForObject(long) - Method in interface nl.tue.storage.CompressedStore: This method returns an output stream for overwriting a previously stored object.
getOutputStreamForObject(long) - Method in class nl.tue.storage.impl.CompressedStoreImpl
getPredecessor() - Method in interface nl.tue.astar.Record: returns the predecessor record.
getPredecessors(int) - Method in class nl.tue.astar.util.PartiallyOrderedTrace: returns the predecessors of the event at the given index.
getPreferBreadth() - Method in interface nl.tue.astar.AStarThread
getPreferBreadth() - Method in class nl.tue.astar.impl.AbstractAStarThread: Deprecated.
getQueuedStateCount() - Method in interface nl.tue.astar.AStarThread: Returns the number of nodes queueud.
getQueuedStateCount() - Method in class nl.tue.astar.impl.AbstractAStarThread
getResult() - Method in class nl.tue.astar.util.LPResult
getRh(int) - Method in interface nl.tue.astar.util.ilp.LPMatrix
getRowName(int) - Method in interface nl.tue.astar.util.ilp.LPMatrix
getRowNames() - Method in interface nl.tue.astar.util.ilp.LPMatrix
getSize() - Method in interface nl.tue.astar.Trace: returns the number of events in the trace
getSize() - Method in class nl.tue.astar.util.AbstractTrace
getSize() - Method in interface nl.tue.storage.CompressedStore: Returns the number of bytes stored in the store
getSize() - Method in class nl.tue.storage.FastByteArrayOutputStream
getSize() - Method in class nl.tue.storage.impl.CompressedStoreImpl
getSizeInMemory(int) - Static method in class nl.tue.astar.util.ShortShortMultiset
getSolveResult() - Method in class nl.tue.astar.util.LPResult
getSorting() - Method in interface nl.tue.astar.AStarThread
getSorting() - Method in class nl.tue.astar.impl.AbstractAStarThread
getState() - Method in interface nl.tue.astar.Record: Returns the index of the state for which this record is kept.
getState(CompressedStore<State<H, T>>) - Method in interface nl.tue.astar.Record: retrieves the state stored at index getState() from the storage.
getStatespace() - Method in class nl.tue.astar.impl.memefficient.MemoryEfficientAStarAlgorithm
getStore() - Method in class nl.tue.astar.impl.memefficient.MemoryEfficientAStarAlgorithm
getStoredState(Record) - Method in interface nl.tue.astar.impl.AbstractAStarThread.StorageHandler
getStoredState(Record) - Method in class nl.tue.astar.impl.JavaCollectionStorageHandler
getStoredState(Record) - Method in class nl.tue.astar.impl.memefficient.MemoryEfficientStorageHandler
getStoredTail(T, long, int, int, int) - Method in class nl.tue.astar.impl.JavaCollectionStorageHandler
getStreamForObject(long) - Method in interface nl.tue.storage.CompressedStore: Retrieves the byte representation of an object at a the given index
getStreamForObject(long) - Method in class nl.tue.storage.impl.CompressedStoreImpl
getSynchronousMoves(Record, Delegate<? extends Head, ? extends Tail>, TIntList, int) - Method in interface nl.tue.astar.Head: get the synchronous moves that are possible on activity, given the current list of enabled modelMoves.
getTail() - Method in class nl.tue.astar.impl.State: returns the tail, might return null
getTailDeflater() - Method in interface nl.tue.astar.impl.memefficient.StorageAwareDelegate
getTailInflater() - Method in interface nl.tue.astar.impl.memefficient.StorageAwareDelegate
getTotalCost() - Method in interface nl.tue.astar.Record: Method should return sum of costSoFar and estimatedCost;
getTrace() - Method in interface nl.tue.astar.AStarThread: Returns the trace for which this AStarThread was instantiated.
getTrace() - Method in class nl.tue.astar.impl.AbstractAStarThread
getTraversedArcCount() - Method in interface nl.tue.astar.AStarThread: Returns the number of arcs that were traversed in the statespace.
getTraversedArcCount() - Method in class nl.tue.astar.impl.AbstractAStarThread
getType() - Method in interface nl.tue.astar.AStarThread: Returns the type of AStar used
getType() - Method in class nl.tue.astar.impl.AbstractAStarThread: Returns the type of AStar used
getUnusedMemory() - Method in interface nl.tue.storage.CompressedStore: Returns the unused memory by this storage
getUnusedMemory() - Method in class nl.tue.storage.impl.CompressedStoreImpl
getUpBo(int) - Method in interface nl.tue.astar.util.ilp.LPMatrix
getVariable(int) - Method in class nl.tue.astar.util.LPResult
getVariables() - Method in class nl.tue.astar.util.LPResult
getVarType(int) - Method in interface nl.tue.astar.util.ilp.LPMatrix
getVisitedStateCount() - Method in interface nl.tue.astar.AStarThread: Returns the number of visited states.
getVisitedStateCount() - Method in class nl.tue.astar.impl.AbstractAStarThread
getWastedMemory() - Method in interface nl.tue.storage.CompressedStore: Returns the wasted memory by this storage
getWastedMemory() - Method in class nl.tue.storage.impl.CompressedStoreImpl
grow(int) - Method in class nl.tue.astar.util.AbstractFastLookupPriorityQueue: Increases the capacity of the array.
GUROBI(GRBEnv, int, int) - Constructor for class nl.tue.astar.util.ilp.LPMatrix.DENSE.GUROBI
GUROBI(GRBEnv, int, int) - Constructor for class nl.tue.astar.util.ilp.LPMatrix.SPARSE.GUROBI
GUROBI(GRBEnv, LPMatrix<?>) - Constructor for class nl.tue.astar.util.ilp.LPMatrix.DENSE.GUROBI
GUROBI(GRBEnv, LPMatrix<?>) - Constructor for class nl.tue.astar.util.ilp.LPMatrix.SPARSE.GUROBI

H

h(int, int) - Method in class nl.tue.storage.hashing.impl.AdHashHashCodeProvider
h(int, short) - Method in class nl.tue.storage.hashing.impl.AdHashHashCodeProvider
hash(int[]...) - Method in interface nl.tue.storage.hashing.HashCodeProvider
hash(int[]...) - Method in class nl.tue.storage.hashing.impl.AbstractHashCodeProvider
hash(int[]...) - Method in class nl.tue.storage.hashing.impl.AdHashHashCodeProvider
hash(int[]...) - Method in class nl.tue.storage.hashing.impl.JenkingsHashCodeProvider
hash(int[]...) - Method in class nl.tue.storage.hashing.impl.MurMur3HashCodeProvider
hash(short[]...) - Method in interface nl.tue.storage.hashing.HashCodeProvider
hash(short[]...) - Method in class nl.tue.storage.hashing.impl.AbstractHashCodeProvider
hash(short[]...) - Method in class nl.tue.storage.hashing.impl.AdHashHashCodeProvider
hash(short[]...) - Method in class nl.tue.storage.hashing.impl.JenkingsHashCodeProvider
hash(short[]...) - Method in class nl.tue.storage.hashing.impl.MurMur3HashCodeProvider
hash(ShortShortMultiset...) - Method in interface nl.tue.storage.hashing.HashCodeProvider
hash(ShortShortMultiset...) - Method in class nl.tue.storage.hashing.impl.AbstractHashCodeProvider
hash(ShortShortMultiset...) - Method in class nl.tue.storage.hashing.impl.AdHashHashCodeProvider
hash(ShortShortMultiset...) - Method in class nl.tue.storage.hashing.impl.JenkingsHashCodeProvider
hash(ShortShortMultiset...) - Method in class nl.tue.storage.hashing.impl.MurMur3HashCodeProvider
hashCode() - Method in class nl.tue.astar.impl.State
hashCode() - Method in class nl.tue.astar.util.AbstractFastLookupPriorityQueue
hashCode() - Method in class nl.tue.astar.util.AbstractTrace
hashCode() - Method in class nl.tue.astar.util.PartiallyOrderedTrace
hashCode() - Method in class nl.tue.astar.util.ShortShortMultiset
hashCode() - Method in class nl.tue.storage.compressor.BitMask: The hashcode of BitMask is defined as the hashcode of its bytes.
HashCodeProvider - Interface in nl.tue.storage.hashing
HashCodeProviderTest - Class in nl.tue.storage.hashing
HashCodeProviderTest() - Constructor for class nl.tue.storage.hashing.HashCodeProviderTest
hashInternal(int[], int) - Method in class nl.tue.storage.hashing.impl.JenkingsHashCodeProvider
hashInternal(int[], int) - Method in class nl.tue.storage.hashing.impl.MurMur3HashCodeProvider: Returns the MurmurHash3_x86_32 hash.
hashInternal(int, int[]) - Method in class nl.tue.storage.hashing.impl.AbstractHashCodeProvider
hashInternal(int, int[]) - Method in class nl.tue.storage.hashing.impl.FNV1aHashCodeProvider
hashInternal(int, int[]) - Method in class nl.tue.storage.hashing.impl.FNV1HashCodeProvider
hashInternal(int, int[]) - Method in class nl.tue.storage.hashing.impl.JavaHashCodeProvider
hashInternal(int, int[]) - Method in class nl.tue.storage.hashing.impl.OneAtATimeHashCodeProvider
hashInternal(int, short[]) - Method in class nl.tue.storage.hashing.impl.AbstractHashCodeProvider
hashInternal(int, short[]) - Method in class nl.tue.storage.hashing.impl.FNV1aHashCodeProvider
hashInternal(int, short[]) - Method in class nl.tue.storage.hashing.impl.FNV1HashCodeProvider
hashInternal(int, short[]) - Method in class nl.tue.storage.hashing.impl.JavaHashCodeProvider
hashInternal(int, short[]) - Method in class nl.tue.storage.hashing.impl.OneAtATimeHashCodeProvider
hashInternal(short[], int) - Method in class nl.tue.storage.hashing.impl.JenkingsHashCodeProvider
hashInternal(short[], int) - Method in class nl.tue.storage.hashing.impl.MurMur3HashCodeProvider: Returns the MurmurHash3_x86_32 hash.
HashOperation<K> - Interface in nl.tue.storage: Interface for the hash operation needed to store objects in the CompressedStoreHashSet class.
HashOperation.Default<K> - Class in nl.tue.storage
Head - Interface in nl.tue.astar: The head determines the state in the search space.
head2int - Variable in class nl.tue.astar.impl.JavaCollectionStorageHandler
HeadDeflater<H extends Head> - Interface in nl.tue.astar.impl.memefficient

I

i - Static variable in class nl.tue.astar.impl.AbstractAStarThread
increaseValue(short) - Method in class nl.tue.astar.util.ShortShortMultiset
IncrementalHashCodeProvider - Interface in nl.tue.storage.hashing
index - Variable in class nl.tue.storage.impl.CompressedStoreHashSetImpl.Result
index2est - Variable in class nl.tue.astar.impl.FSMGraphAStarObserver
index2state - Variable in class nl.tue.astar.impl.FSMGraphAStarObserver
INFEASIBLE - Static variable in interface nl.tue.astar.util.ilp.LPMatrix
INFINITE - Static variable in interface nl.tue.astar.util.ilp.LPMatrix
inflate(InputStream) - Method in class nl.tue.astar.impl.DijkstraTail
inflate(InputStream) - Method in class nl.tue.astar.impl.StateCompressor
inflate(InputStream) - Method in class nl.tue.storage.compressor.AbstractFixedLengthListCompressor
inflate(InputStream) - Method in class nl.tue.storage.compressor.CompressableCompressor
inflate(InputStream) - Method in interface nl.tue.storage.Inflater: read an object from a stream.
inflateContent(InputStream, int[]) - Method in class nl.tue.storage.compressor.AbstractFixedLengthListCompressor
inflateContent(InputStream, int[], short) - Method in class nl.tue.astar.impl.AbstractCompressor
inflateContentToArray(InputStream, int[], short) - Method in class nl.tue.astar.impl.AbstractCompressor
inflateEstimate(StorageAwareDelegate<H, DijkstraTail>, H, InputStream) - Method in class nl.tue.astar.impl.DijkstraTail
inflateEstimate(StorageAwareDelegate<H, T>, H, InputStream) - Method in interface nl.tue.astar.impl.memefficient.TailInflater
Inflater<T> - Interface in nl.tue.storage
init - Variable in class nl.tue.storage.hashing.impl.AbstractHashCodeProvider
INIT - Static variable in class nl.tue.storage.hashing.impl.AdHashHashCodeProvider
INIT - Static variable in class nl.tue.storage.hashing.impl.MurMur3HashCodeProvider
initializeQueue(H) - Method in class nl.tue.astar.impl.AbstractAStarThread
initialNodeCreated(Record) - Method in interface nl.tue.astar.AStarObserver
initialNodeCreated(Record) - Method in class nl.tue.astar.impl.DotGraphAStarObserver
initialNodeCreated(Record) - Method in class nl.tue.astar.impl.FSMGraphAStarObserver
initialNodeCreated(Record) - Method in class nl.tue.astar.impl.FSMTraceAStarObserver
Int32G(Deflater<? super K>, int, EqualOperation<K>, HashOperation<K>, int) - Constructor for class nl.tue.storage.impl.CompressedStoreHashSetImpl.Int32G
Int32G(Deflater<? super K>, EqualOperation<K>, HashOperation<K>, int) - Constructor for class nl.tue.storage.impl.CompressedStoreHashSetImpl.Int32G
Int32G(Deflater<? super K>, Inflater<? extends K>, int) - Constructor for class nl.tue.storage.impl.CompressedStoreHashSetImpl.Int32G
Int32G(Deflater<? super K>, Inflater<? extends K>, int, EqualOperation<K>, HashOperation<K>, int) - Constructor for class nl.tue.storage.impl.CompressedStoreHashSetImpl.Int32G
Int32G(Deflater<? super K>, Inflater<? extends K>, EqualOperation<K>, int) - Constructor for class nl.tue.storage.impl.CompressedStoreHashSetImpl.Int32G
Int32G(Deflater<? super K>, Inflater<? extends K>, EqualOperation<K>, HashOperation<K>, int) - Constructor for class nl.tue.storage.impl.CompressedStoreHashSetImpl.Int32G
Int32G(Deflater<? super K>, Inflater<? extends K>, HashOperation<K>, int) - Constructor for class nl.tue.storage.impl.CompressedStoreHashSetImpl.Int32G
Int4G(Deflater<? super K>, int, int, EqualOperation<K>, HashOperation<K>, int) - Constructor for class nl.tue.storage.impl.CompressedStoreHashSetImpl.Int4G
Int4G(Deflater<? super K>, EqualOperation<K>, HashOperation<K>, int) - Constructor for class nl.tue.storage.impl.CompressedStoreHashSetImpl.Int4G
Int4G(Deflater<? super K>, Inflater<? extends K>, int) - Constructor for class nl.tue.storage.impl.CompressedStoreHashSetImpl.Int4G
Int4G(Deflater<? super K>, Inflater<? extends K>, int, EqualOperation<K>, HashOperation<K>, int) - Constructor for class nl.tue.storage.impl.CompressedStoreHashSetImpl.Int4G
Int4G(Deflater<? super K>, Inflater<? extends K>, EqualOperation<K>, int) - Constructor for class nl.tue.storage.impl.CompressedStoreHashSetImpl.Int4G
Int4G(Deflater<? super K>, Inflater<? extends K>, EqualOperation<K>, HashOperation<K>, int) - Constructor for class nl.tue.storage.impl.CompressedStoreHashSetImpl.Int4G
Int4G(Deflater<? super K>, Inflater<? extends K>, HashOperation<K>, int) - Constructor for class nl.tue.storage.impl.CompressedStoreHashSetImpl.Int4G
Int8G(Deflater<? super K>, int, EqualOperation<K>, HashOperation<K>, int) - Constructor for class nl.tue.storage.impl.CompressedStoreHashSetImpl.Int8G
Int8G(Deflater<? super K>, EqualOperation<K>, HashOperation<K>, int) - Constructor for class nl.tue.storage.impl.CompressedStoreHashSetImpl.Int8G
Int8G(Deflater<? super K>, Inflater<? extends K>, int) - Constructor for class nl.tue.storage.impl.CompressedStoreHashSetImpl.Int8G
Int8G(Deflater<? super K>, Inflater<? extends K>, int, EqualOperation<K>, HashOperation<K>, int) - Constructor for class nl.tue.storage.impl.CompressedStoreHashSetImpl.Int8G
Int8G(Deflater<? super K>, Inflater<? extends K>, EqualOperation<K>, int) - Constructor for class nl.tue.storage.impl.CompressedStoreHashSetImpl.Int8G
Int8G(Deflater<? super K>, Inflater<? extends K>, EqualOperation<K>, HashOperation<K>, int) - Constructor for class nl.tue.storage.impl.CompressedStoreHashSetImpl.Int8G
Int8G(Deflater<? super K>, Inflater<? extends K>, HashOperation<K>, int) - Constructor for class nl.tue.storage.impl.CompressedStoreHashSetImpl.Int8G
IntCustomAlignment(int, Deflater<? super K>, int, EqualOperation<K>, HashOperation<K>, int) - Constructor for class nl.tue.storage.impl.CompressedStoreHashSetImpl.IntCustomAlignment
IntCustomAlignment(int, Deflater<? super K>, EqualOperation<K>, HashOperation<K>, int) - Constructor for class nl.tue.storage.impl.CompressedStoreHashSetImpl.IntCustomAlignment
IntCustomAlignment(int, Deflater<? super K>, Inflater<? extends K>, int) - Constructor for class nl.tue.storage.impl.CompressedStoreHashSetImpl.IntCustomAlignment
IntCustomAlignment(int, Deflater<? super K>, Inflater<? extends K>, int, EqualOperation<K>, HashOperation<K>, int) - Constructor for class nl.tue.storage.impl.CompressedStoreHashSetImpl.IntCustomAlignment
IntCustomAlignment(int, Deflater<? super K>, Inflater<? extends K>, EqualOperation<K>, int) - Constructor for class nl.tue.storage.impl.CompressedStoreHashSetImpl.IntCustomAlignment
IntCustomAlignment(int, Deflater<? super K>, Inflater<? extends K>, EqualOperation<K>, HashOperation<K>, int) - Constructor for class nl.tue.storage.impl.CompressedStoreHashSetImpl.IntCustomAlignment
IntCustomAlignment(int, Deflater<? super K>, Inflater<? extends K>, HashOperation<K>, int) - Constructor for class nl.tue.storage.impl.CompressedStoreHashSetImpl.IntCustomAlignment
INTEGER - Static variable in interface nl.tue.astar.util.ilp.LPMatrix
IntListCompressor - Class in nl.tue.storage.compressor
IntListCompressor(int) - Constructor for class nl.tue.storage.compressor.IntListCompressor
isBetter(Record, Record) - Method in class nl.tue.astar.util.AbstractFastLookupPriorityQueue
isBetter(Record, Record) - Method in class nl.tue.astar.util.BreadthFirstFastLookupPriorityQueue
isBetter(Record, Record) - Method in class nl.tue.astar.util.DepthFirstFastLookupPriorityQueue
isBetter(Record, Record) - Method in class nl.tue.astar.util.RandomFastLookupPriorityQueue
isCancelled() - Method in interface nl.tue.astar.AStarThread.Canceller
isEmpty() - Method in class nl.tue.astar.util.AbstractFastLookupPriorityQueue
isEmpty() - Method in interface nl.tue.astar.util.FastLookupPriorityQueue
isEmpty() - Method in class nl.tue.astar.util.ShortShortMultiset
isEnabled(int, boolean[]) - Method in class nl.tue.astar.util.PartiallyOrderedTrace: Returns true if and only if the event at the given index is enabled, given that those events for which executed is true have been executed.
isExactEstimate() - Method in interface nl.tue.astar.Record: true if the last set estimate is exact.
isExactEstimateKnown() - Method in interface nl.tue.astar.FastLowerBoundTail: This method should return true if the exact estimate is known.
isFinal(Delegate<? extends Head, ? extends Tail>) - Method in interface nl.tue.astar.Head: checks if this head belongs to a final state;
isNew - Variable in class nl.tue.storage.impl.CompressedStoreHashSetImpl.Result
isValidMoveOnLog(Record, int, int, TIntList, TIntList) - Method in class nl.tue.astar.impl.AbstractAStarThread
isValidMoveOnModel(Record, TIntCollection, int, TIntList) - Method in class nl.tue.astar.impl.AbstractAStarThread
isZero(Byte) - Method in class nl.tue.storage.compressor.ByteListCompressor
isZero(Integer) - Method in class nl.tue.storage.compressor.IntListCompressor
isZero(Long) - Method in class nl.tue.storage.compressor.LongListCompressor
isZero(Short) - Method in class nl.tue.storage.compressor.ShortListCompressor
isZero(K) - Method in class nl.tue.storage.compressor.AbstractFixedLengthListCompressor: Indicates if the given number equals 0
iterator() - Method in interface nl.tue.astar.Trace: Iterator to iterate over the list of activities, assuming a total order.
iterator() - Method in class nl.tue.astar.util.AbstractTrace
iterator() - Method in class nl.tue.storage.compressor.BitMask

J

JavaCollectionStorageHandler<H extends Head,T extends Tail> - Class in nl.tue.astar.impl
JavaCollectionStorageHandler(Delegate<H, T>, TObjectIntMap<H>, List<State<H, T>>) - Constructor for class nl.tue.astar.impl.JavaCollectionStorageHandler
JavaHashCodeProvider - Class in nl.tue.storage.hashing.impl
JavaHashCodeProvider() - Constructor for class nl.tue.storage.hashing.impl.JavaHashCodeProvider
JavaHashCodeProvider(int) - Constructor for class nl.tue.storage.hashing.impl.JavaHashCodeProvider
JavaHashCodeProvider(int, int, String) - Constructor for class nl.tue.storage.hashing.impl.JavaHashCodeProvider
JenkingsHashCodeProvider - Class in nl.tue.storage.hashing.impl
JenkingsHashCodeProvider() - Constructor for class nl.tue.storage.hashing.impl.JenkingsHashCodeProvider

L

label - Variable in class nl.tue.astar.util.AbstractTrace
LE - Static variable in interface nl.tue.astar.util.ilp.LPMatrix
length - Variable in class nl.tue.storage.compressor.AbstractFixedLengthListCompressor
LinearTrace - Class in nl.tue.astar.util
LinearTrace(String, int) - Constructor for class nl.tue.astar.util.LinearTrace
LinearTrace(String, int[]) - Constructor for class nl.tue.astar.util.LinearTrace
LinearTrace(String, TIntList) - Constructor for class nl.tue.astar.util.LinearTrace
locationMap - Variable in class nl.tue.astar.util.AbstractFastLookupPriorityQueue
lock - Variable in class nl.tue.astar.impl.memefficient.MemoryEfficientStorageHandler
LOGMOVEFIRST - nl.tue.astar.AStarThread.ASynchronousMoveSorting
Long(Deflater<? super K>, int, EqualOperation<K>, HashOperation<K>, int) - Constructor for class nl.tue.storage.impl.CompressedStoreHashSetImpl.Long
Long(Deflater<? super K>, EqualOperation<K>, HashOperation<K>, int) - Constructor for class nl.tue.storage.impl.CompressedStoreHashSetImpl.Long
Long(Deflater<? super K>, Inflater<? extends K>, int) - Constructor for class nl.tue.storage.impl.CompressedStoreHashSetImpl.Long
Long(Deflater<? super K>, Inflater<? extends K>, int, EqualOperation<K>, HashOperation<K>, int) - Constructor for class nl.tue.storage.impl.CompressedStoreHashSetImpl.Long
Long(Deflater<? super K>, Inflater<? extends K>, EqualOperation<K>, int) - Constructor for class nl.tue.storage.impl.CompressedStoreHashSetImpl.Long
Long(Deflater<? super K>, Inflater<? extends K>, EqualOperation<K>, HashOperation<K>, int) - Constructor for class nl.tue.storage.impl.CompressedStoreHashSetImpl.Long
Long(Deflater<? super K>, Inflater<? extends K>, HashOperation<K>, int) - Constructor for class nl.tue.storage.impl.CompressedStoreHashSetImpl.Long
LongListCompressor - Class in nl.tue.storage.compressor
LongListCompressor(int) - Constructor for class nl.tue.storage.compressor.LongListCompressor
LPMatrix<S> - Interface in nl.tue.astar.util.ilp: 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 - Class in nl.tue.astar.util.ilp: Static class wrapping DENSE variants of LPMatrix ~~The dense variants of LPMatrix ~~represent the internal MIP matrix explicitly, i.e.~~~~
LPMatrix.DENSE.GUROBI - Class in nl.tue.astar.util.ilp: The dense variant for the Gurobi external solver.
LPMatrix.DENSE.LPSOLVE - Class in nl.tue.astar.util.ilp: The dense variant for the LpSolve external solver.
LPMatrix.SPARSE - Class in nl.tue.astar.util.ilp: 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 - Class in nl.tue.astar.util.ilp: The sparse variant for the Gurobi external solver.
LPMatrix.SPARSE.LPSOLVE - Class in nl.tue.astar.util.ilp
LPMatrixException - Exception in nl.tue.astar.util.ilp
LPMatrixException(String) - Constructor for exception nl.tue.astar.util.ilp.LPMatrixException
LPMatrixException(Throwable) - Constructor for exception nl.tue.astar.util.ilp.LPMatrixException
LPProblemProvider - Class in nl.tue.astar.util
LPProblemProvider(LpSolve, int) - Constructor for class nl.tue.astar.util.LPProblemProvider
LPProblemProvider(LpSolve, int, MsgListener, int) - Constructor for class nl.tue.astar.util.LPProblemProvider
LPResult - Class in nl.tue.astar.util
LPResult(double[], double, int) - Constructor for class nl.tue.astar.util.LPResult
LPResult(int, double) - Constructor for class nl.tue.astar.util.LPResult: Deprecated.
LPResult(int, double, int) - Constructor for class nl.tue.astar.util.LPResult
LPSOLVE(int, int) - Constructor for class nl.tue.astar.util.ilp.LPMatrix.DENSE.LPSOLVE
LPSOLVE(int, int) - Constructor for class nl.tue.astar.util.ilp.LPMatrix.SPARSE.LPSOLVE: The sparse variant for the LpSolve external solver.
LPSOLVE(LPMatrix<?>) - Constructor for class nl.tue.astar.util.ilp.LPMatrix.DENSE.LPSOLVE
LPSOLVE(LPMatrix<?>) - Constructor for class nl.tue.astar.util.ilp.LPMatrix.SPARSE.LPSOLVE

M

main(String[]) - Static method in class nl.tue.storage.hashing.HashCodeProviderTest

main(String[]) - Static method in class nl.tue.storage.StorageTest

makeBitMask(int, int...) - Static method in class nl.tue.storage.compressor.BitMask

Flag the bits at the given indices

makeBitMask(int, short[]) - Static method in class nl.tue.astar.impl.AbstractCompressor

makeBitMask(int, short...) - Static method in class nl.tue.storage.compressor.BitMask

Flag the bits at the given indices

makeBitMask(int, TIntSet) - Static method in class nl.tue.storage.compressor.BitMask

Flag the bits at the given indices

makeBitMask(int, Collection<Integer>) - Static method in class nl.tue.storage.compressor.BitMask

Flag the bits at the given indices

makeBitMask(int, ShortShortMultiset) - Static method in class nl.tue.astar.impl.AbstractCompressor

makeShortListBitMask(int, short[]) - Static method in class nl.tue.astar.impl.AbstractCompressor

maxCost - Variable in class nl.tue.astar.util.AbstractFastLookupPriorityQueue

The maximum total cost for any record in this queue.

maxStates - Variable in class nl.tue.astar.impl.AbstractAStarThread

MemoryEfficient(MemoryEfficientAStarAlgorithm<H, T>, H, Trace, int) - Constructor for class nl.tue.astar.AStarThread.MemoryEfficient

MemoryEfficientAStarAlgorithm<H extends Head,T extends Tail> - Class in nl.tue.astar.impl.memefficient

MemoryEfficientAStarAlgorithm(StorageAwareDelegate<H, T>) - Constructor for class nl.tue.astar.impl.memefficient.MemoryEfficientAStarAlgorithm

MemoryEfficientAStarAlgorithm(StorageAwareDelegate<H, T>, int, int, int) - Constructor for class nl.tue.astar.impl.memefficient.MemoryEfficientAStarAlgorithm

MemoryEfficientStorageHandler<H extends Head,T extends Tail> - Class in nl.tue.astar.impl.memefficient

MemoryEfficientStorageHandler(MemoryEfficientAStarAlgorithm<H, T>) - Constructor for class nl.tue.astar.impl.memefficient.MemoryEfficientStorageHandler

mix() - Method in class nl.tue.storage.hashing.impl.JenkingsHashCodeProvider

MODELMOVEFIRST - nl.tue.astar.AStarThread.ASynchronousMoveSorting

MurMur3HashCodeProvider - Class in nl.tue.storage.hashing.impl

MurMur3HashCodeProvider() - Constructor for class nl.tue.storage.hashing.impl.MurMur3HashCodeProvider

N

name - Variable in class nl.tue.storage.hashing.impl.AbstractHashCodeProvider

NEV - Static variable in class nl.tue.astar.util.AbstractFastLookupPriorityQueue

newEmptyArray(int) - Method in class nl.tue.storage.compressor.AbstractFixedLengthListCompressor

Instantiates a new array of the given length, such that for all elements, isZero() returns true.

newEmptyArray(int) - Method in class nl.tue.storage.compressor.ByteListCompressor

newEmptyArray(int) - Method in class nl.tue.storage.compressor.IntListCompressor

newEmptyArray(int) - Method in class nl.tue.storage.compressor.LongListCompressor

newEmptyArray(int) - Method in class nl.tue.storage.compressor.ShortListCompressor

next() - Method in interface nl.tue.storage.compressor.TBooleanIterator

nl.tue.astar - package nl.tue.astar

nl.tue.astar.impl - package nl.tue.astar.impl

nl.tue.astar.impl.memefficient - package nl.tue.astar.impl.memefficient

nl.tue.astar.util - package nl.tue.astar.util

nl.tue.astar.util.ilp - package nl.tue.astar.util.ilp

nl.tue.storage - package nl.tue.storage

nl.tue.storage.compressor - package nl.tue.storage.compressor

nl.tue.storage.hashing - package nl.tue.storage.hashing

nl.tue.storage.hashing.impl - package nl.tue.storage.hashing.impl

nl.tue.storage.impl - package nl.tue.storage.impl

nodeVisited(Record) - Method in interface nl.tue.astar.AStarObserver

nodeVisited(Record) - Method in class nl.tue.astar.impl.DotGraphAStarObserver

nodeVisited(Record) - Method in class nl.tue.astar.impl.DotSpanningTreeObserver

nodeVisited(Record) - Method in class nl.tue.astar.impl.FSMGraphAStarObserver

nodeVisited(Record) - Method in class nl.tue.astar.impl.FSMTraceAStarObserver

NOMOVE - Static variable in interface nl.tue.astar.AStarThread

NONE - nl.tue.astar.AStarThread.ASynchronousMoveSorting

numBytes() - Method in class nl.tue.storage.compressor.AbstractFixedLengthListCompressor

returns the number of bytes for storing one object of type K

numBytes() - Method in class nl.tue.storage.compressor.ByteListCompressor

numBytes() - Method in class nl.tue.storage.compressor.IntListCompressor

numBytes() - Method in class nl.tue.storage.compressor.LongListCompressor

numBytes() - Method in class nl.tue.storage.compressor.ShortListCompressor

numElts - Variable in class nl.tue.astar.util.ShortShortMultiset

O

objectiveValue(double[]) - Method in interface nl.tue.astar.util.ilp.LPMatrix

ObservableAStarThread<H extends Head,T extends Tail> - Interface in nl.tue.astar

observers - Variable in class nl.tue.astar.impl.AbstractAStarThread

offer(Record) - Method in class nl.tue.astar.util.AbstractFastLookupPriorityQueue

Inserts the specified element into this priority queue.

OneAtATimeHashCodeProvider - Class in nl.tue.storage.hashing.impl

OneAtATimeHashCodeProvider() - Constructor for class nl.tue.storage.hashing.impl.OneAtATimeHashCodeProvider

OPTIMAL - Static variable in interface nl.tue.astar.util.ilp.LPMatrix

OTHER - Static variable in interface nl.tue.astar.util.ilp.LPMatrix

outputFile - Variable in class nl.tue.astar.impl.DotGraphAStarObserver

outputFile - Variable in class nl.tue.astar.impl.FSMGraphAStarObserver

P

PartiallyOrderedTrace - Class in nl.tue.astar.util

PartiallyOrderedTrace(String, int) - Constructor for class nl.tue.astar.util.PartiallyOrderedTrace

PartiallyOrderedTrace(String, int[]) - Constructor for class nl.tue.astar.util.PartiallyOrderedTrace

PartiallyOrderedTrace(String, int[], int[][]) - Constructor for class nl.tue.astar.util.PartiallyOrderedTrace

path - Variable in class nl.tue.astar.impl.FSMTraceAStarObserver

peek() - Method in class nl.tue.astar.util.AbstractFastLookupPriorityQueue

peek() - Method in interface nl.tue.astar.util.FastLookupPriorityQueue

peek(int) - Method in class nl.tue.astar.util.AbstractFastLookupPriorityQueue

PLAIN - nl.tue.astar.AStarThread.Type

poll - Variable in class nl.tue.astar.impl.AbstractAStarThread

poll() - Method in class nl.tue.astar.impl.AbstractAStarThread

poll() - Method in class nl.tue.astar.util.AbstractFastLookupPriorityQueue

poll() - Method in interface nl.tue.astar.util.FastLookupPriorityQueue

pos - Variable in class nl.tue.storage.FastByteArrayInputStream

Number of bytes that have been read from the buffer

POWER - Static variable in class nl.tue.astar.impl.AbstractCompressor

predecessors - Variable in class nl.tue.astar.util.PartiallyOrderedTrace

printLp(OutputStreamWriter, String) - Method in interface nl.tue.astar.util.ilp.LPMatrix

prints the LP to the given outputWriter using the given separator character as separator.

printLpToCSV(String) - Method in interface nl.tue.astar.util.ilp.LPMatrix

Prints the MIP to a CSV file using ";" as a separator character.

processMove(H, T, Record, int, int, int) - Method in class nl.tue.astar.impl.AbstractAStarThread

processMovesForRecord(Record, H, T, int, double, long) - Method in class nl.tue.astar.impl.AbstractAStarThread

processMovesForRecordWithUpToDateTail(Record, H, T, int, double, long) - Method in class nl.tue.astar.impl.AbstractAStarThread

product(double[], int, int, int) - Method in interface nl.tue.astar.util.ilp.LPMatrix

put(short, short) - Method in class nl.tue.astar.util.ShortShortMultiset

Q

queue - Variable in class nl.tue.astar.impl.AbstractAStarThread

queue - Variable in class nl.tue.astar.util.AbstractFastLookupPriorityQueue

Priority queue represented as a balanced binary heap: the two children of queue[n] are queue[2*n+1] and queue[2*(n+1)].

queuedStateCount - Variable in class nl.tue.astar.impl.AbstractAStarThread

R

RANDOM - nl.tue.astar.AStarThread.QueueingModel

randomByteArray(int) - Static method in class nl.tue.storage.StorageTest

RandomFastLookupPriorityQueue - Class in nl.tue.astar.util

RandomFastLookupPriorityQueue(int, double) - Constructor for class nl.tue.astar.util.RandomFastLookupPriorityQueue

Creates a PriorityQueue with the specified initial capacity that orders its elements according to the specified comparator.

RandomFastLookupPriorityQueue(int, int, double) - Constructor for class nl.tue.astar.util.RandomFastLookupPriorityQueue

randomIntArray(int) - Static method in class nl.tue.storage.StorageTest

randomLongArray(int) - Static method in class nl.tue.storage.StorageTest

randomShortArray(int) - Static method in class nl.tue.storage.StorageTest

read() - Method in class nl.tue.storage.FastByteArrayInputStream

read(byte[], int, int) - Method in class nl.tue.storage.FastByteArrayInputStream

readBooleanFromStream(InputStream) - Method in class nl.tue.astar.impl.AbstractCompressor

readDoubleFromStream(InputStream) - Method in class nl.tue.astar.impl.AbstractCompressor

Return the first eight bytes as an long

readIntFromStream(InputStream) - Method in class nl.tue.astar.impl.AbstractCompressor

Return the first four bytes as an integer

readInto(byte[], byte[], int) - Static method in class nl.tue.astar.impl.AbstractCompressor

reads a byte[] of vars from a byte[] toRead, where each element of vars is encoded using precisely bitsPerVar bits.

readInto(byte[], short[], int) - Static method in class nl.tue.astar.impl.AbstractCompressor

reads a byte[] of vars from a byte[] toRead, where each element of vars is encoded using precisely bitsPerVar bits.

readLongFromStream(InputStream) - Method in class nl.tue.astar.impl.AbstractCompressor

Return the first eight bytes as an long

readMask(InputStream) - Method in class nl.tue.storage.compressor.AbstractFixedLengthListCompressor

readMask(InputStream, int, int) - Method in class nl.tue.astar.impl.AbstractCompressor

readShortFromStream(InputStream) - Method in class nl.tue.astar.impl.AbstractCompressor

REAL - Static variable in interface nl.tue.astar.util.ilp.LPMatrix

reComputeFastLowerboundTail(Record, TT, H, int) - Method in interface nl.tue.astar.impl.AbstractAStarThread.StorageHandler

implementations may assume that TT == T

reComputeFastLowerboundTail(Record, TT, H, int) - Method in class nl.tue.astar.impl.JavaCollectionStorageHandler

reComputeFastLowerboundTail(Record, TT, H, int) - Method in class nl.tue.astar.impl.memefficient.MemoryEfficientStorageHandler

Record - Interface in nl.tue.astar

Stores the little bit of information needed per volatile state in the AStarAlgorithm.

reliable - Variable in class nl.tue.astar.impl.AbstractAStarThread

removeAll() - Method in interface nl.tue.storage.CompressedHashSet

clears the storage space and removes all elements in the backing set.

removeAll() - Method in interface nl.tue.storage.CompressedStore

Removes all elements from the store and resets it to it's initial state

removeAll() - Method in class nl.tue.storage.impl.CompressedStoreHashSetImpl

clears the storage space and removes all elements in the backing set.

removeAll() - Method in class nl.tue.storage.impl.CompressedStoreImpl

removeObserver(AStarObserver) - Method in class nl.tue.astar.impl.AbstractAStarThread

removeObserver(AStarObserver) - Method in interface nl.tue.astar.ObservableAStarThread

reset() - Method in class nl.tue.storage.FastByteArrayOutputStream

ResizeableFastByteArrayOutputStream - Class in nl.tue.storage

ByteArrayOutputStream implementation that doesn't synchronize methods and doesn't copy the data on toByteArray().

ResizeableFastByteArrayOutputStream(int) - Constructor for class nl.tue.storage.ResizeableFastByteArrayOutputStream

Constructs a stream with the given initial size

Result() - Constructor for class nl.tue.storage.impl.CompressedStoreHashSetImpl.Result

rot(int, int) - Method in class nl.tue.storage.hashing.impl.JenkingsHashCodeProvider

S

set(int, boolean) - Method in class nl.tue.storage.compressor.BitMask

set(int, int) - Method in class nl.tue.astar.util.AbstractTrace

sets the activity at index index

setASynchronousMoveSorting(AStarThread.ASynchronousMoveSorting) - Method in interface nl.tue.astar.AStarThread

When aligning a trace with a model, any moves between two synchronous moves can be sorted.

setASynchronousMoveSorting(AStarThread.ASynchronousMoveSorting) - Method in class nl.tue.astar.impl.AbstractAStarThread

setBinary(int, boolean) - Method in interface nl.tue.astar.util.ilp.LPMatrix

setColName(int, String) - Method in interface nl.tue.astar.util.ilp.LPMatrix

Sets the name of a column.

setConsidered(Record) - Method in class nl.tue.astar.impl.AbstractAStarThread

setConstrType(int, byte) - Method in interface nl.tue.astar.util.ilp.LPMatrix

setEpsilon(double) - Method in interface nl.tue.astar.AStarThread

Set epsilon for the weighted variants of A Star

setEpsilon(double) - Method in class nl.tue.astar.impl.AbstractAStarThread

Set epsilon for the weighted variants of A Star

setEstimatedRemainingCost(double, boolean) - Method in interface nl.tue.astar.Record

sets the estimate of the remaining cost.

setExpectedLength(int) - Method in interface nl.tue.astar.AStarThread

Set expected length for the dynamic weighted variant of A Star

setExpectedLength(int) - Method in class nl.tue.astar.impl.AbstractAStarThread

Set expected length for the dynamic weighted variant of A Star

setInt(int, boolean) - Method in interface nl.tue.astar.util.ilp.LPMatrix

setLowbo(int, double) - Method in interface nl.tue.astar.util.ilp.LPMatrix

setMat(int, int, double) - Method in interface nl.tue.astar.util.ilp.LPMatrix

set the value at index row, column in the matrix.

setMaxCost(int) - Method in class nl.tue.astar.util.AbstractFastLookupPriorityQueue

setMaxCost(int) - Method in interface nl.tue.astar.util.FastLookupPriorityQueue

setMaxim() - Method in interface nl.tue.astar.util.ilp.LPMatrix

setMinim() - Method in interface nl.tue.astar.util.ilp.LPMatrix

setObjective(int, double) - Method in interface nl.tue.astar.util.ilp.LPMatrix

setPredecessors(int, int...) - Method in class nl.tue.astar.util.PartiallyOrderedTrace

sets the predecessors for the event at index event.

setPreferBreadth(boolean) - Method in interface nl.tue.astar.AStarThread

By default, depth is preferred.

setPreferBreadth(boolean) - Method in class nl.tue.astar.impl.AbstractAStarThread

Deprecated.

setQueue(FastLookupPriorityQueue) - Method in class nl.tue.astar.impl.AbstractAStarThread

setQueueingModel(AStarThread.QueueingModel) - Method in interface nl.tue.astar.AStarThread

setQueueingModel(AStarThread.QueueingModel) - Method in class nl.tue.astar.impl.AbstractAStarThread

setRh(int, double) - Method in interface nl.tue.astar.util.ilp.LPMatrix

setRhVec(double[]) - Method in interface nl.tue.astar.util.ilp.LPMatrix

setRowName(int, String) - Method in interface nl.tue.astar.util.ilp.LPMatrix

Sets the name of a row.

setState(long) - Method in interface nl.tue.astar.Record

puts the index of the state corresponding to this record in the record.

setStateSpace(CompressedHashSet<State<H, T>>) - Method in interface nl.tue.astar.impl.memefficient.StorageAwareDelegate

setType(AStarThread.Type) - Method in interface nl.tue.astar.AStarThread

Sets the type of the AStar algorithm.

setType(AStarThread.Type) - Method in class nl.tue.astar.impl.AbstractAStarThread

setUpbo(int, double) - Method in interface nl.tue.astar.util.ilp.LPMatrix

ShortListCompressor - Class in nl.tue.storage.compressor

ShortListCompressor(int) - Constructor for class nl.tue.storage.compressor.ShortListCompressor

ShortShortMultiset - Class in nl.tue.astar.util

ShortShortMultiset(short) - Constructor for class nl.tue.astar.util.ShortShortMultiset

siftDown(int, Record) - Method in class nl.tue.astar.util.AbstractFastLookupPriorityQueue

Inserts item x at position k, maintaining heap invariant by demoting x down the tree repeatedly until it is less than or equal to its children or is a leaf.

siftUp(int, Record) - Method in class nl.tue.astar.util.AbstractFastLookupPriorityQueue

Inserts item x at position k, maintaining heap invariant by promoting x up the tree until it is greater than or equal to its parent, or is the root.

size - Variable in class nl.tue.astar.util.AbstractFastLookupPriorityQueue

The number of elements in the priority queue.

size - Variable in class nl.tue.storage.FastByteArrayOutputStream

size() - Method in class nl.tue.astar.util.AbstractFastLookupPriorityQueue

size() - Method in interface nl.tue.astar.util.FastLookupPriorityQueue

size() - Method in class nl.tue.astar.util.ShortShortMultiset

size() - Method in interface nl.tue.storage.CompressedHashSet

return the number of objects stored in this set

size() - Method in class nl.tue.storage.impl.CompressedStoreHashSetImpl

skip(int) - Method in class nl.tue.storage.impl.SkippableOutputStream

skip(long) - Method in class nl.tue.storage.FastByteArrayInputStream

skip(H, SkippableOutputStream) - Method in interface nl.tue.astar.impl.memefficient.HeadDeflater

Skips as many bytes in the stream as are required to store the given head

SkippableOutputStream - Class in nl.tue.storage.impl

SkippableOutputStream(byte[], int) - Constructor for class nl.tue.storage.impl.SkippableOutputStream

solve(double[]) - Method in interface nl.tue.astar.util.ilp.LPMatrix

Constructs the solver and solves the MIP represented by this problem.

solveResult - Variable in class nl.tue.astar.util.LPResult

sorting - Variable in class nl.tue.astar.impl.AbstractAStarThread

SPARSE() - Constructor for class nl.tue.astar.util.ilp.LPMatrix.SPARSE

State<H extends Head,T extends Tail> - Class in nl.tue.astar.impl

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

State(H, T) - Constructor for class nl.tue.astar.impl.State

state2index - Variable in class nl.tue.astar.impl.FSMGraphAStarObserver

StateCompressor<H extends Head,T extends Tail> - Class in nl.tue.astar.impl

StateCompressor(StorageAwareDelegate<H, T>) - Constructor for class nl.tue.astar.impl.StateCompressor

stateFile - Variable in class nl.tue.astar.impl.FSMGraphAStarObserver

stateList - Variable in class nl.tue.astar.impl.JavaCollectionStorageHandler

statespace - Variable in class nl.tue.astar.impl.memefficient.MemoryEfficientStorageHandler

stateWriter - Variable in class nl.tue.astar.impl.FSMGraphAStarObserver

stoppedUnreliablyAt(Record) - Method in interface nl.tue.astar.AStarObserver

stoppedUnreliablyAt(Record) - Method in class nl.tue.astar.impl.DotGraphAStarObserver

stoppedUnreliablyAt(Record) - Method in class nl.tue.astar.impl.FSMGraphAStarObserver

stoppedUnreliablyAt(Record) - Method in class nl.tue.astar.impl.FSMTraceAStarObserver

StorageAwareDelegate<H extends Head,T extends Tail> - Interface in nl.tue.astar.impl.memefficient

StorageException - Exception in nl.tue.storage

StorageException(IOException) - Constructor for exception nl.tue.storage.StorageException

StorageException(String) - Constructor for exception nl.tue.storage.StorageException

storageHandler - Variable in class nl.tue.astar.impl.AbstractAStarThread

StorageTest - Class in nl.tue.storage

StorageTest() - Constructor for class nl.tue.storage.StorageTest

store - Variable in class nl.tue.astar.impl.memefficient.MemoryEfficientStorageHandler

storeStateForRecord(State<H, T>, Record) - Method in interface nl.tue.astar.impl.AbstractAStarThread.StorageHandler

storeStateForRecord(State<H, T>, Record) - Method in class nl.tue.astar.impl.JavaCollectionStorageHandler

storeStateForRecord(State<H, T>, Record) - Method in class nl.tue.astar.impl.memefficient.MemoryEfficientStorageHandler

T

Tail - Interface in nl.tue.astar

The tail provides the actual estimate for a head.

TailInflater<T extends Tail> - Interface in nl.tue.astar.impl.memefficient

TBooleanIterator - Interface in nl.tue.storage.compressor

toBooleanArray() - Method in class nl.tue.storage.compressor.BitMask

toByteArray(Byte) - Method in class nl.tue.storage.compressor.ByteListCompressor

toByteArray(Integer) - Method in class nl.tue.storage.compressor.IntListCompressor

toByteArray(Long) - Method in class nl.tue.storage.compressor.LongListCompressor

toByteArray(Short) - Method in class nl.tue.storage.compressor.ShortListCompressor

toByteArray(K) - Method in class nl.tue.storage.compressor.AbstractFixedLengthListCompressor

writes an object of type K to an array of bytes, of size numBytes();

toSolver() - Method in interface nl.tue.astar.util.ilp.LPMatrix

Constructs the solver in its external representation

toString() - Method in class nl.tue.astar.impl.AbstractAStarThread

toString() - Method in class nl.tue.astar.impl.State

toString() - Method in class nl.tue.astar.util.AbstractFastLookupPriorityQueue

toString() - Method in class nl.tue.astar.util.AbstractTrace

toString() - Method in class nl.tue.astar.util.ShortShortMultiset

toString() - Method in class nl.tue.storage.compressor.BitMask

toString() - Method in class nl.tue.storage.hashing.impl.AbstractHashCodeProvider

toString() - Method in class nl.tue.storage.hashing.impl.AdHashHashCodeProvider

toString() - Method in class nl.tue.storage.hashing.impl.JenkingsHashCodeProvider

toString() - Method in class nl.tue.storage.hashing.impl.MurMur3HashCodeProvider

toString(Record, Record) - Static method in class nl.tue.astar.impl.FSMGraphAStarObserver

TOTAL - nl.tue.astar.AStarThread.ASynchronousMoveSorting

trace - Variable in class nl.tue.astar.impl.AbstractAStarThread

Trace - Interface in nl.tue.astar

interface to represent a trace.

traceFileName - Variable in class nl.tue.astar.impl.FSMTraceAStarObserver

transitionFile - Variable in class nl.tue.astar.impl.FSMGraphAStarObserver

tranWriter - Variable in class nl.tue.astar.impl.FSMGraphAStarObserver

traversedArcCount - Variable in class nl.tue.astar.impl.AbstractAStarThread

type - Variable in class nl.tue.astar.impl.AbstractAStarThread

U

unCompress(InputStream) - Method in interface nl.tue.storage.compressor.Compressable

Read this object from the given stream.

updateHash(int, int, int, int) - Method in class nl.tue.storage.hashing.impl.AdHashHashCodeProvider

updateHash(int, int, int, int) - Method in interface nl.tue.storage.hashing.IncrementalHashCodeProvider

Updates the old hash value and returns the new one, assuming that the value at index idx was changed from oldVal to newVal.

updateHash(int, int, short, short) - Method in class nl.tue.storage.hashing.impl.AdHashHashCodeProvider

updateHash(int, int, short, short) - Method in interface nl.tue.storage.hashing.IncrementalHashCodeProvider

Updates the old hash value and returns the new one, assuming that the value at index idx was changed from oldVal to newVal.

updateToBetter(int, Record) - Method in class nl.tue.astar.util.AbstractFastLookupPriorityQueue

useExactEstimatePriority - Variable in class nl.tue.astar.util.BreadthFirstFastLookupPriorityQueue

useExactEstimatePriority - Variable in class nl.tue.astar.util.DepthFirstFastLookupPriorityQueue

V

valueOf(String) - Static method in enum nl.tue.astar.AStarThread.ASynchronousMoveSorting

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum nl.tue.astar.AStarThread.QueueingModel

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum nl.tue.astar.AStarThread.Type

Returns the enum constant of this type with the specified name.

values() - Static method in enum nl.tue.astar.AStarThread.ASynchronousMoveSorting

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum nl.tue.astar.AStarThread.QueueingModel

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum nl.tue.astar.AStarThread.Type

Returns an array containing the constants of this enum type, in the order they are declared.

visitCounter - Variable in class nl.tue.astar.impl.DotGraphAStarObserver

W

wasReliable() - Method in interface nl.tue.astar.AStarThread

After a call to run(), this method returns true if the returned Record yields the optimal result.

wasReliable() - Method in class nl.tue.astar.impl.AbstractAStarThread

WEIGHTED_DYNAMIC - nl.tue.astar.AStarThread.Type

WEIGHTED_STATIC - nl.tue.astar.AStarThread.Type

write(byte[]) - Method in class nl.tue.storage.FastByteArrayOutputStream

write(byte[]) - Method in class nl.tue.storage.impl.SkippableOutputStream

write(byte[]) - Method in class nl.tue.storage.ResizeableFastByteArrayOutputStream

write(byte[], int, int) - Method in class nl.tue.storage.FastByteArrayOutputStream

write(byte[], int, int) - Method in class nl.tue.storage.impl.SkippableOutputStream

write(byte[], int, int) - Method in class nl.tue.storage.ResizeableFastByteArrayOutputStream

write(int) - Method in class nl.tue.storage.FastByteArrayOutputStream

write(int) - Method in class nl.tue.storage.impl.SkippableOutputStream

write(int) - Method in class nl.tue.storage.ResizeableFastByteArrayOutputStream

writeBooleanToByteArray(OutputStream, boolean) - Method in class nl.tue.astar.impl.AbstractCompressor

writeDoubleToByteArray(OutputStream, double) - Method in class nl.tue.astar.impl.AbstractCompressor

Write 4 bytes of an integer

writeIntToByteArray(OutputStream, int) - Method in class nl.tue.astar.impl.AbstractCompressor

Write 4 bytes of an integer

writeLongToByteArray(OutputStream, long) - Method in class nl.tue.astar.impl.AbstractCompressor

writer - Variable in class nl.tue.astar.impl.DotGraphAStarObserver

writeShortToByteArray(OutputStream, short) - Method in class nl.tue.astar.impl.AbstractCompressor

writeTo(byte[], byte[], int) - Static method in class nl.tue.astar.impl.AbstractCompressor

writes a byte[] of vars into a byte[] toWrite, where each element of vars is encoded using precisely bitsPerVar bits.

writeTo(byte[], short[], int) - Static method in class nl.tue.astar.impl.AbstractCompressor

writes a byte[] of vars into a byte[] toWrite, where each element of vars is encoded using precisely bitsPerVar bits.

A B C D E F G H I J L M N O P Q R S T U V W
All Classes All Packages