Package net.automatalib.util.automaton.copy

Interface AutomatonCopyMethod

public interface AutomatonCopyMethod

Field Summary

Fields

Modifier and Type	Field	Description
static AutomatonCopyMethod	BFS
static AutomatonCopyMethod	DFS
static AutomatonCopyMethod	STATE_BY_STATE

Method Summary

Modifier and Type	Method	Description
<S1,I1,T1,S2,I2,T2,SP2,TP2> LowLevelAutomatonCopier<S1,S2>	createLowLevelCopier(Automaton<S1,? super I1,T1> 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> transitionFilter)

Field Detail

STATE_BY_STATE

static final AutomatonCopyMethod STATE_BY_STATE

DFS

static final AutomatonCopyMethod DFS

BFS

static final AutomatonCopyMethod BFS

Method Detail

createLowLevelCopier

<S1,I1,T1,S2,I2,T2,SP2,TP2> LowLevelAutomatonCopier<S1,S2> createLowLevelCopier(Automaton<S1,? super I1,T1> 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> transitionFilter)