public static final class ReplayerParameters.Default extends ReplayerParameters
ReplayerParameters.Algorithm, ReplayerParameters.AStar, ReplayerParameters.Default, ReplayerParameters.Dijkstra, ReplayerParameters.IncrementalAStaralgorithm, buildFullStatespace, costUpperBound, debug, initialSplits, maximumNumberOfStates, maxReducedSequenceLength, moveSort, nThreads, partiallyOrderEvents, preferExact, preProcessUsingPlaceBasedConstraints, queueSort, timeoutMilliseconds, useInt| Constructor and Description |
|---|
Default() |
Default(int nThreads,
int costUpperBound,
ReplayAlgorithm.Debug debug) |
Default(int nThreads,
ReplayAlgorithm.Debug debug) |
public Default()
public Default(int nThreads,
ReplayAlgorithm.Debug debug)
public Default(int nThreads,
int costUpperBound,
ReplayAlgorithm.Debug debug)