public abstract class ReplayerParameters
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class |
ReplayerParameters.Algorithm |
static class |
ReplayerParameters.AStar |
static class |
ReplayerParameters.Default |
static class |
ReplayerParameters.Dijkstra |
static class |
ReplayerParameters.IncrementalAStar |
Modifier and Type | Field and Description |
---|---|
ReplayerParameters.Algorithm |
algorithm |
boolean |
buildFullStatespace |
int |
costUpperBound |
ReplayAlgorithm.Debug |
debug |
int |
initialSplits |
int |
maximumNumberOfStates |
int |
maxReducedSequenceLength |
boolean |
moveSort |
int |
nThreads |
boolean |
partiallyOrderEvents |
boolean |
preferExact |
boolean |
preProcessUsingPlaceBasedConstraints |
boolean |
queueSort |
int |
timeoutMilliseconds |
boolean |
useInt |
public final ReplayerParameters.Algorithm algorithm
public final boolean moveSort
public final boolean queueSort
public final boolean preferExact
public final int nThreads
public final boolean useInt
public final ReplayAlgorithm.Debug debug
public final int timeoutMilliseconds
public final int maximumNumberOfStates
public final int costUpperBound
public final boolean partiallyOrderEvents
public final boolean preProcessUsingPlaceBasedConstraints
public final int initialSplits
public final int maxReducedSequenceLength
public final boolean buildFullStatespace