Constructor and Description |
---|
Factory() |
Modifier and Type | Method and Description |
---|---|
static <M,C,S,T,L,A extends PartialAlignment<L,T,S>,P extends IncrementalReplayerParametersImpl<M,L,T>> |
construct(S initialStateInModel,
S finalStateInModel,
java.util.Map<C,A> dataStore,
ModelSemantics<M,S,T> modelSemantics,
P parameters,
java.util.Map<T,L> labelmap,
IncrementalReplayer.Strategy strategy) |
static <M,C,S,T,L,A extends PartialAlignment<L,T,S>,P extends IncrementalRevBasedReplayerParametersImpl<M,L,T>> |
construct(S initialStateInModel,
S finalStateInModel,
java.util.Map<C,A> dataStore,
ModelSemantics<M,S,T> modelSemantics,
P parameters,
java.util.Map<T,L> labelmap,
IncrementalReplayer.Strategy strategy) |
public static <M,C,S,T,L,A extends PartialAlignment<L,T,S>,P extends IncrementalReplayerParametersImpl<M,L,T>> IncrementalReplayer<M,C,S,T,L,A,P> construct(S initialStateInModel, S finalStateInModel, java.util.Map<C,A> dataStore, ModelSemantics<M,S,T> modelSemantics, P parameters, java.util.Map<T,L> labelmap, IncrementalReplayer.Strategy strategy) throws java.lang.IllegalArgumentException
java.lang.IllegalArgumentException
public static <M,C,S,T,L,A extends PartialAlignment<L,T,S>,P extends IncrementalRevBasedReplayerParametersImpl<M,L,T>> IncrementalReplayer<M,C,S,T,L,A,P> construct(S initialStateInModel, S finalStateInModel, java.util.Map<C,A> dataStore, ModelSemantics<M,S,T> modelSemantics, P parameters, java.util.Map<T,L> labelmap, IncrementalReplayer.Strategy strategy)