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