public interface IncrementalReplayer<M,C,S,T,L,A extends PartialAlignment<L,T,S>,P extends IncrementalReplayerParametersImpl<M,L,T>>
Modifier and Type | Interface and Description |
---|---|
static class |
IncrementalReplayer.Factory |
static class |
IncrementalReplayer.SearchAlgorithm |
static class |
IncrementalReplayer.Strategy |
Modifier and Type | Method and Description |
---|---|
java.util.Map<C,A> |
getDataStore() |
S |
getFinalStateInModel() |
PartialAlignment.State<S,L,T> |
getInitialState() |
S |
getInitialStateInModel() |
P |
getParameters() |
IncrementalReplayer.Strategy |
getStrategy() |
A |
processEvent(C c,
L l) |
S getFinalStateInModel()
S getInitialStateInModel()
PartialAlignment.State<S,L,T> getInitialState()
P getParameters()
IncrementalReplayer.Strategy getStrategy()