public abstract class AbstractLowLevelAutomatonCopier<S1,I1,T1,S2,I2,T2,SP2,TP2,TS1 extends TransitionSystem<S1,? super I1,T1>> extends Object implements LowLevelAutomatonCopier<S1,S2>
Modifier and Type | Field and Description |
---|---|
protected TS1 |
in |
protected Collection<? extends I1> |
inputs |
protected Function<? super I1,? extends I2> |
inputsMapping |
protected MutableAutomaton<S2,I2,T2,? super SP2,? super TP2> |
out |
protected Function<? super S1,? extends SP2> |
spMapping |
protected Predicate<? super S1> |
stateFilter |
protected MutableMapping<S1,S2> |
stateMapping |
protected Function<? super T1,? extends TP2> |
tpMapping |
protected TransitionPredicate<? super S1,? super I1,? super T1> |
transFilter |
Constructor and Description |
---|
AbstractLowLevelAutomatonCopier(TS1 in,
Collection<? extends I1> inputs,
MutableAutomaton<S2,I2,T2,? super SP2,? super TP2> out,
Function<? super I1,? extends I2> inputsMapping,
Function<? super S1,? extends SP2> spMapping,
Function<? super T1,? extends TP2> tpMapping,
Predicate<? super S1> stateFilter,
TransitionPredicate<? super S1,? super I1,? super T1> transFilter) |
Modifier and Type | Method and Description |
---|---|
protected S2 |
copyInitialState(S1 s1) |
protected S2 |
copyState(S1 s1) |
protected T2 |
copyTransition(S2 src2,
I2 input2,
T1 trans1,
S1 succ1) |
protected S2 |
copyTransitionChecked(S2 src2,
I2 input2,
T1 trans1,
S1 succ1) |
protected void |
copyTransitions(S2 src2,
I2 input2,
Iterator<? extends T1> transitions1It) |
abstract void |
doCopy() |
Mapping<S1,S2> |
getStateMapping() |
protected void |
updateInitials() |
protected final TS1 extends TransitionSystem<S1,? super I1,T1> in
protected final Collection<? extends I1> inputs
protected final MutableMapping<S1,S2> stateMapping
protected final TransitionPredicate<? super S1,? super I1,? super T1> transFilter
public AbstractLowLevelAutomatonCopier(TS1 in, Collection<? extends I1> inputs, MutableAutomaton<S2,I2,T2,? super SP2,? super TP2> out, Function<? super I1,? extends I2> inputsMapping, Function<? super S1,? extends SP2> spMapping, Function<? super T1,? extends TP2> tpMapping, Predicate<? super S1> stateFilter, TransitionPredicate<? super S1,? super I1,? super T1> transFilter)
protected void copyTransitions(S2 src2, I2 input2, Iterator<? extends T1> transitions1It)
public abstract void doCopy()
doCopy
in interface LowLevelAutomatonCopier<S1,S2>
public Mapping<S1,S2> getStateMapping()
getStateMapping
in interface LowLevelAutomatonCopier<S1,S2>
protected final void updateInitials()
Copyright © 2020. All rights reserved.