Class AbstractLowLevelAutomatonCopier<S1,I1,T1,S2,I2,T2,SP2,TP2,TS1 extends TransitionSystem<S1,? super I1,T1>>
- java.lang.Object
-
- net.automatalib.util.automaton.copy.AbstractLowLevelAutomatonCopier<S1,I1,T1,S2,I2,T2,SP2,TP2,TS1>
-
- All Implemented Interfaces:
LowLevelAutomatonCopier<S1,S2>
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>
-
-
Field Summary
Fields Modifier and Type Field 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 Summary
Constructors Constructor 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)
-
Method Summary
All Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description protected S2
copyInitialState(S1 s1)
protected S2
copyState(S1 s1)
protected T2
copyTransition(S2 src2, I2 input2, T1 trans1, S1 succ1)
protected @Nullable 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()
-
-
-
Field Detail
-
in
protected final TS1 extends TransitionSystem<S1,? super I1,T1> in
-
inputs
protected final Collection<? extends I1> inputs
-
stateMapping
protected final MutableMapping<S1,S2> stateMapping
-
transFilter
protected final TransitionPredicate<? super S1,? super I1,? super T1> transFilter
-
-
Constructor Detail
-
AbstractLowLevelAutomatonCopier
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)
-
-
Method Detail
-
copyTransitions
protected void copyTransitions(S2 src2, I2 input2, Iterator<? extends T1> transitions1It)
-
copyTransitionChecked
protected @Nullable S2 copyTransitionChecked(S2 src2, I2 input2, T1 trans1, S1 succ1)
-
doCopy
public abstract void doCopy()
- Specified by:
doCopy
in interfaceLowLevelAutomatonCopier<S1,I1>
-
getStateMapping
public Mapping<S1,S2> getStateMapping()
- Specified by:
getStateMapping
in interfaceLowLevelAutomatonCopier<S1,I1>
-
updateInitials
protected final void updateInitials()
-
-