public class IncrementalRevBasedReplayerImpl<M,C,S,T,L,A extends PartialAlignment<L,T,S>,P extends IncrementalRevBasedReplayerParametersImpl<M,L,T>> extends java.lang.Object implements IncrementalReplayer<M,C,S,T,L,A,P>
IncrementalReplayer.Factory, IncrementalReplayer.SearchAlgorithm, IncrementalReplayer.Strategy| Constructor and Description |
|---|
IncrementalRevBasedReplayerImpl(S initialStateInModel,
S finalStateInModel,
java.util.Map<C,A> dataStore,
ModelSemantics<M,S,T> modelSemantics,
P parameters,
java.util.Map<T,L> labelMap) |
| Modifier and Type | Method and Description |
|---|---|
java.util.Map<C,A> |
getDataStore() |
S |
getFinalStateInModel() |
PartialAlignment.State<S,L,T> |
getInitialState() |
S |
getInitialStateInModel() |
java.util.Map<T,L> |
getLabelMap() |
ModelSemantics<M,S,T> |
getModelSemantics() |
P |
getParameters() |
protected PartialAlignment.State<S,L,T> |
getStartState(A previousAlignment) |
IncrementalReplayer.Strategy |
getStrategy() |
A |
processEvent(C c,
L l) |
protected A |
searchForNewAlignment(C c,
L l,
A previousAlignment,
S state) |
public java.util.Map<C,A> getDataStore()
getDataStore in interface IncrementalReplayer<M,C,S,T,L,A extends PartialAlignment<L,T,S>,P extends IncrementalRevBasedReplayerParametersImpl<M,L,T>>public S getFinalStateInModel()
getFinalStateInModel in interface IncrementalReplayer<M,C,S,T,L,A extends PartialAlignment<L,T,S>,P extends IncrementalRevBasedReplayerParametersImpl<M,L,T>>public P getParameters()
getParameters in interface IncrementalReplayer<M,C,S,T,L,A extends PartialAlignment<L,T,S>,P extends IncrementalRevBasedReplayerParametersImpl<M,L,T>>public PartialAlignment.State<S,L,T> getInitialState()
getInitialState in interface IncrementalReplayer<M,C,S,T,L,A extends PartialAlignment<L,T,S>,P extends IncrementalRevBasedReplayerParametersImpl<M,L,T>>public S getInitialStateInModel()
getInitialStateInModel in interface IncrementalReplayer<M,C,S,T,L,A extends PartialAlignment<L,T,S>,P extends IncrementalRevBasedReplayerParametersImpl<M,L,T>>public ModelSemantics<M,S,T> getModelSemantics()
public A processEvent(C c, L l)
processEvent in interface IncrementalReplayer<M,C,S,T,L,A extends PartialAlignment<L,T,S>,P extends IncrementalRevBasedReplayerParametersImpl<M,L,T>>protected PartialAlignment.State<S,L,T> getStartState(A previousAlignment)
public IncrementalReplayer.Strategy getStrategy()
getStrategy in interface IncrementalReplayer<M,C,S,T,L,A extends PartialAlignment<L,T,S>,P extends IncrementalRevBasedReplayerParametersImpl<M,L,T>>