Module net.automatalib.util

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 final TS1	in
protected final Collection<? extends I1>	inputs
protected final Function<? super I1,? extends I2>	inputsMapping
protected final MutableAutomaton<S2,I2,T2,? super SP2,? super TP2>	out
protected final Function<? super S1,? extends SP2>	spMapping
protected final Predicate<? super S1>	stateFilter
protected final MutableMapping<S1,S2>	stateMapping
protected final Function<? super T1,? extends TP2>	tpMapping
protected final 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 @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 final void	updateInitials()

Methods inherited from class java.lang.Object

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

Field Details

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 Details

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 Details

copyInitialState

protected S2 copyInitialState(S1 s1)

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