public interface NAryTreeReplayer<H extends NAryTreeHead,T extends nl.tue.astar.Tail,D extends TreeDelegate<H,T>>
Modifier and Type | Interface and Description |
---|---|
static class |
NAryTreeReplayer.PerformanceType |
static class |
NAryTreeReplayer.VerboseLevel |
Modifier and Type | Method and Description |
---|---|
D |
getDelegate() |
long |
getNumStoredStates() |
long |
getQueuedStateCount() |
long |
getRawCost()
returns the raw cost of aligning a log and a model after a call to run.
|
nl.tue.astar.impl.State<H,T> |
getState(long index) |
long |
getTraversedArcCount() |
boolean |
isStubborn() |
int |
run(NAryTreeReplayer.VerboseLevel verbose,
int stopAt,
int minModelCost,
double timeLimit) |
long |
setMaxNumberOfBlocksToUse(long maxBytestoUse)
Tell the algorithm to clear the memory (in between trace alignments) if
it is close to using the specified amount of megabytes of memory.
|
void |
setStubborn(boolean stubborn) |
void |
setType(NAryTreeReplayer.PerformanceType type) |
void |
setType(NAryTreeReplayer.PerformanceType type,
int blockSize,
int alignment)
Allows the user more control over the type of implementation
|
boolean |
wasReliable() |
void setType(NAryTreeReplayer.PerformanceType type)
void setType(NAryTreeReplayer.PerformanceType type, int blockSize, int alignment)
type
- blockSize
- the size of the blocks of memory. A typical example would be
1024 times the size of an average statealignment
- the alignment. Each stored object uses a multiple of this many
bytes. A value of 1 allows for 4GB to be allocated. A value of
2 for 8GB, etc.int run(NAryTreeReplayer.VerboseLevel verbose, int stopAt, int minModelCost, double timeLimit) throws nl.tue.astar.AStarException
nl.tue.astar.AStarException
long getQueuedStateCount()
long getTraversedArcCount()
D getDelegate()
long getNumStoredStates()
boolean wasReliable()
long setMaxNumberOfBlocksToUse(long maxBytestoUse)
OutOfMemoryError
s at all times but it will try to, at the
cost of performance for the larger trace/model combinations since it
empties the cache.maxMemUsage
- maximum memory usage in bytes (negative value indicates no
limit)long getRawCost()
boolean isStubborn()
void setStubborn(boolean stubborn)