Package | Description |
---|---|
nl.tue.alignment | |
nl.tue.alignment.algorithms | |
nl.tue.alignment.algorithms.implementations | |
nl.tue.alignment.test |
Modifier and Type | Field and Description |
---|---|
ReplayAlgorithm.Debug |
ReplayerParameters.debug |
Constructor and Description |
---|
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) |
Default(int nThreads,
int costUpperBound,
ReplayAlgorithm.Debug debug) |
Default(int nThreads,
ReplayAlgorithm.Debug debug) |
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) |
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) |
Modifier and Type | Method and Description |
---|---|
static ReplayAlgorithm.Debug |
ReplayAlgorithm.Debug.valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static ReplayAlgorithm.Debug[] |
ReplayAlgorithm.Debug.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
Modifier and Type | Method and Description |
---|---|
void |
ReplayAlgorithm.Debug.print(ReplayAlgorithm.Debug db,
java.lang.String s) |
void |
ReplayAlgorithm.Debug.println(ReplayAlgorithm.Debug db) |
void |
ReplayAlgorithm.Debug.println(ReplayAlgorithm.Debug db,
java.lang.String s) |
Constructor and Description |
---|
AStar(SyncProduct product,
boolean moveSorting,
boolean queueSorting,
boolean preferExact,
boolean isInteger,
ReplayAlgorithm.Debug debug) |
AStarLargeLP(SyncProduct product,
boolean moveSorting,
boolean useInteger,
int initialSplits,
ReplayAlgorithm.Debug debug) |
AStarLargeLP(SyncProduct product,
boolean moveSorting,
boolean useInteger,
ReplayAlgorithm.Debug debug) |
AStarLargeLP(SyncProduct product,
boolean moveSorting,
boolean useInteger,
ReplayAlgorithm.Debug debug,
int[] splitpoints) |
Dijkstra(SyncProduct product,
boolean moveSorting,
boolean queueSorting,
ReplayAlgorithm.Debug debug) |
Full(SyncProduct product,
boolean moveSorting,
boolean queueSorting,
boolean preferExact,
boolean isInteger,
ReplayAlgorithm.Debug debug) |
Full(SyncProduct product,
boolean moveSorting,
boolean useInteger,
int initialSplits,
ReplayAlgorithm.Debug debug) |
Full(SyncProduct product,
boolean moveSorting,
boolean queueSorting,
ReplayAlgorithm.Debug debug) |
Full(SyncProduct product,
boolean moveSorting,
boolean queueSorting,
ReplayAlgorithm.Debug debug) |
Full(SyncProduct product,
boolean moveSorting,
boolean useInteger,
ReplayAlgorithm.Debug debug,
int[] splitpoints) |
FullStatespaceBuilder(SyncProduct product,
boolean moveSorting,
boolean queueSorting,
ReplayAlgorithm.Debug debug) |
Modifier and Type | Method and Description |
---|---|
static void |
AlignmentTest.mainFileFolder(ReplayAlgorithm.Debug debug,
int timeoutSecondsPerTrace,
java.lang.String... names) |
static void |
AlignmentTest.mainFolder(ReplayAlgorithm.Debug debug,
int timeoutSecondsPerTrace,
java.lang.String... eval) |
static int[] |
SmallTests.testSingleGraph(SyncProduct net,
ReplayAlgorithm.Debug debug) |