public static final class ReplayerParameters.Default extends ReplayerParameters
ReplayerParameters.Algorithm, ReplayerParameters.AStar, ReplayerParameters.Default, ReplayerParameters.Dijkstra, ReplayerParameters.IncrementalAStar
algorithm, 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)