Package net.automatalib.util.automaton.copy

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

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

in

protected final TS1 extends TransitionSystem<S1,? super I1,T1> in

inputs

protected final Collection<? extends I1> inputs

out

protected final MutableAutomaton<S2,I2,T2,? super SP2,? super TP2> out

stateMapping

protected final MutableMapping<S1,S2> stateMapping

inputsMapping

protected final Function<? super I1,? extends I2> inputsMapping

spMapping

protected final Function<? super S1,? extends SP2> spMapping

tpMapping

protected final Function<? super T1,? extends TP2> tpMapping

stateFilter

protected final Predicate<? super S1> stateFilter

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

copyInitialState

protected S2 copyInitialState(S1 s1)

copyTransition

protected T2 copyTransition(S2 src2,
                            I2 input2,
                            T1 trans1,
                            S1 succ1)

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)

copyState

protected S2 copyState(S1 s1)

doCopy

public abstract void doCopy()

Specified by:

doCopy in interface LowLevelAutomatonCopier<S1,I1>

getStateMapping

public Mapping<S1,S2> getStateMapping()

Specified by:

getStateMapping in interface LowLevelAutomatonCopier<S1,I1>

updateInitials

protected final void updateInitials()