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