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>>