public static final class ReplayerParameters.Dijkstra 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 |
---|
Dijkstra() |
Dijkstra(boolean moveSort,
boolean queueSort,
int nThreads,
ReplayAlgorithm.Debug debug,
int timeoutMilliseconds,
int maximumNumberOfStates,
int costUpperBound,
boolean partiallyOrderEvents) |
Dijkstra(boolean moveSort,
boolean queueSort,
int nThreads,
ReplayAlgorithm.Debug debug,
int timeoutMilliseconds,
int maximumNumberOfStates,
int costUpperBound,
boolean partiallyOrderEvents,
int maxReducedSequenceLength) |
Dijkstra(boolean moveSort,
boolean queueSort,
int nThreads,
ReplayAlgorithm.Debug debug,
int timeoutMilliseconds,
int maximumNumberOfStates,
int costUpperBound,
boolean partiallyOrderEvents,
int maxReducedSequenceLength,
boolean buildFullStatespace) |
Dijkstra(ReplayAlgorithm.Debug debug) |
public Dijkstra()
public Dijkstra(ReplayAlgorithm.Debug debug)
public Dijkstra(boolean moveSort, boolean queueSort, int nThreads, ReplayAlgorithm.Debug debug, int timeoutMilliseconds, int maximumNumberOfStates, int costUpperBound, boolean partiallyOrderEvents)
public Dijkstra(boolean moveSort, boolean queueSort, int nThreads, ReplayAlgorithm.Debug debug, int timeoutMilliseconds, int maximumNumberOfStates, int costUpperBound, boolean partiallyOrderEvents, int maxReducedSequenceLength)
public Dijkstra(boolean moveSort, boolean queueSort, int nThreads, ReplayAlgorithm.Debug debug, int timeoutMilliseconds, int maximumNumberOfStates, int costUpperBound, boolean partiallyOrderEvents, int maxReducedSequenceLength, boolean buildFullStatespace)