net.automatalib.util.automata.copy

Class AutomatonCopy

java.lang.Object

net.automatalib.util.automata.copy.AutomatonCopy

public abstract class AutomatonCopy
extends Object

Method Summary

Methods

Modifier and Type	Method and Description
static <S1,I1 extends I2,T1,S2,I2,SP2,TP2> Mapping<S1,S2>	copyDfs(TransitionSystem<S1,I1,T1> in, Collection<? extends I1> inputs, MutableAutomaton<S2,I2,?,SP2,TP2> out, Mapping<? super S1,? extends SP2> spMapping, Mapping<? super T1,? extends TP2> tpMapping)
static <S1,I1 extends I2,T1,S2,I2,SP2,TP2> Mapping<S1,S2>	copyPlain(Automaton<S1,I1,T1> in, Collection<? extends I1> inputs, MutableAutomaton<S2,I2,?,SP2,TP2> out, Mapping<? super S1,? extends SP2> spMapping, Mapping<? super T1,? extends TP2> tpMapping)
static <S1,I1,T1,S2,I2,T2,SP2,TP2> Mapping<S1,S2>	copyPlain(Automaton<S1,I1,T1> in, Collection<? extends I1> inputs, MutableAutomaton<S2,I2,T2,SP2,TP2> out, Mapping<? super I1,? extends I2> inputsMapping, Mapping<? super S1,? extends SP2> spMapping, Mapping<? super T1,? extends TP2> tpMapping)
static <S1,I1,T1,S2,I2,T2,SP2,TP2> Mapping<S1,S2>	copyTraversal(TraversalOrder order, int limit, TransitionSystem<S1,I1,T1> in, Collection<? extends I1> inputs, MutableAutomaton<S2,I2,T2,SP2,TP2> out, Mapping<? super I1,? extends I2> inputsMapping, Mapping<? super S1,? extends SP2> spMapping, Mapping<? super T1,? extends TP2> tpMapping)
static <S1,I1,SP1,TP1,S2,SP2,TP2> Mapping<S1,S2>	copyUniversalDfs(UniversalTransitionSystem<S1,I1,?,SP1,TP1> in, Collection<? extends I1> inputs, MutableAutomaton<S2,? super I1,?,SP2,TP2> out, Mapping<? super SP1,? extends SP2> spConversion, Mapping<? super TP1,? extends TP2> tpConversion)
static <S1,I1,T1,SP1,TP1,S2> Mapping<S1,S2>	copyUniversalDfs(UniversalTransitionSystem<S1,I1,T1,SP1,TP1> in, Collection<? extends I1> inputs, MutableAutomaton<S2,? super I1,?,? super SP1,? super TP1> out)
static <S1,I1,T1,SP1,TP1,S2,I2> Mapping<S1,S2>	copyUniversalDfs(UniversalTransitionSystem<S1,I1,T1,SP1,TP1> in, Collection<? extends I1> inputs, MutableAutomaton<S2,I2,?,? super SP1,? super TP1> out, Mapping<? super I1,? extends I2> inputsMapping)
static <S1,I1,T1,SP1,TP1,S2,I2,SP2,TP2> Mapping<S1,S2>	copyUniversalDfs(UniversalTransitionSystem<S1,I1,T1,SP1,TP1> in, Collection<? extends I1> inputs, MutableAutomaton<S2,I2,?,SP2,TP2> out, Mapping<? super I1,? extends I2> inputsMapping, Mapping<? super SP1,? extends SP2> spConversion, Mapping<? super TP1,? extends TP2> tpConversion)
static <S1,I1,SP1,TP1,S2,SP2,TP2> Mapping<S1,S2>	copyUniversalPlain(UniversalAutomaton<S1,I1,?,SP1,TP1> in, Collection<? extends I1> inputs, MutableAutomaton<S2,? super I1,?,SP2,TP2> out, Mapping<? super SP1,? extends SP2> spConversion, Mapping<? super TP1,? extends TP2> tpConversion)
static <S1,I1,T1,SP1,TP1,S2> Mapping<S1,S2>	copyUniversalPlain(UniversalAutomaton<S1,I1,T1,SP1,TP1> in, Collection<? extends I1> inputs, MutableAutomaton<S2,? super I1,?,? super SP1,? super TP1> out)
static <S1,I1,T1,SP1,TP1,S2,I2> Mapping<S1,S2>	copyUniversalPlain(UniversalAutomaton<S1,I1,T1,SP1,TP1> in, Collection<? extends I1> inputs, MutableAutomaton<S2,I2,?,? super SP1,? super TP1> out, Mapping<? super I1,? extends I2> inputsMapping)
static <S1,I1,T1,SP1,TP1,S2,I2,SP2,TP2> Mapping<S1,S2>	copyUniversalPlain(UniversalAutomaton<S1,I1,T1,SP1,TP1> in, Collection<? extends I1> inputs, MutableAutomaton<S2,I2,?,SP2,TP2> out, Mapping<? super I1,? extends I2> inputsMapping, Mapping<? super SP1,? extends SP2> spConversion, Mapping<? super TP1,? extends TP2> tpConversion)

Methods inherited from class java.lang.Object

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

Method Detail

copyPlain

public static <S1,I1,T1,S2,I2,T2,SP2,TP2> Mapping<S1,S2> copyPlain(Automaton<S1,I1,T1> in,
                                                   Collection<? extends I1> inputs,
                                                   MutableAutomaton<S2,I2,T2,SP2,TP2> out,
                                                   Mapping<? super I1,? extends I2> inputsMapping,
                                                   Mapping<? super S1,? extends SP2> spMapping,
                                                   Mapping<? super T1,? extends TP2> tpMapping)

copyPlain

public static <S1,I1 extends I2,T1,S2,I2,SP2,TP2> Mapping<S1,S2> copyPlain(Automaton<S1,I1,T1> in,
                                                           Collection<? extends I1> inputs,
                                                           MutableAutomaton<S2,I2,?,SP2,TP2> out,
                                                           Mapping<? super S1,? extends SP2> spMapping,
                                                           Mapping<? super T1,? extends TP2> tpMapping)

copyUniversalPlain

public static <S1,I1,T1,SP1,TP1,S2,I2,SP2,TP2> Mapping<S1,S2> copyUniversalPlain(UniversalAutomaton<S1,I1,T1,SP1,TP1> in,
                                                                 Collection<? extends I1> inputs,
                                                                 MutableAutomaton<S2,I2,?,SP2,TP2> out,
                                                                 Mapping<? super I1,? extends I2> inputsMapping,
                                                                 Mapping<? super SP1,? extends SP2> spConversion,
                                                                 Mapping<? super TP1,? extends TP2> tpConversion)

copyUniversalPlain

public static <S1,I1,SP1,TP1,S2,SP2,TP2> Mapping<S1,S2> copyUniversalPlain(UniversalAutomaton<S1,I1,?,SP1,TP1> in,
                                                           Collection<? extends I1> inputs,
                                                           MutableAutomaton<S2,? super I1,?,SP2,TP2> out,
                                                           Mapping<? super SP1,? extends SP2> spConversion,
                                                           Mapping<? super TP1,? extends TP2> tpConversion)

copyUniversalPlain

public static <S1,I1,T1,SP1,TP1,S2,I2> Mapping<S1,S2> copyUniversalPlain(UniversalAutomaton<S1,I1,T1,SP1,TP1> in,
                                                         Collection<? extends I1> inputs,
                                                         MutableAutomaton<S2,I2,?,? super SP1,? super TP1> out,
                                                         Mapping<? super I1,? extends I2> inputsMapping)

copyUniversalPlain

public static <S1,I1,T1,SP1,TP1,S2> Mapping<S1,S2> copyUniversalPlain(UniversalAutomaton<S1,I1,T1,SP1,TP1> in,
                                                      Collection<? extends I1> inputs,
                                                      MutableAutomaton<S2,? super I1,?,? super SP1,? super TP1> out)

copyTraversal

public static <S1,I1,T1,S2,I2,T2,SP2,TP2> Mapping<S1,S2> copyTraversal(TraversalOrder order,
                                                       int limit,
                                                       TransitionSystem<S1,I1,T1> in,
                                                       Collection<? extends I1> inputs,
                                                       MutableAutomaton<S2,I2,T2,SP2,TP2> out,
                                                       Mapping<? super I1,? extends I2> inputsMapping,
                                                       Mapping<? super S1,? extends SP2> spMapping,
                                                       Mapping<? super T1,? extends TP2> tpMapping)

copyDfs

public static <S1,I1 extends I2,T1,S2,I2,SP2,TP2> Mapping<S1,S2> copyDfs(TransitionSystem<S1,I1,T1> in,
                                                         Collection<? extends I1> inputs,
                                                         MutableAutomaton<S2,I2,?,SP2,TP2> out,
                                                         Mapping<? super S1,? extends SP2> spMapping,
                                                         Mapping<? super T1,? extends TP2> tpMapping)

copyUniversalDfs

public static <S1,I1,T1,SP1,TP1,S2,I2,SP2,TP2> Mapping<S1,S2> copyUniversalDfs(UniversalTransitionSystem<S1,I1,T1,SP1,TP1> in,
                                                               Collection<? extends I1> inputs,
                                                               MutableAutomaton<S2,I2,?,SP2,TP2> out,
                                                               Mapping<? super I1,? extends I2> inputsMapping,
                                                               Mapping<? super SP1,? extends SP2> spConversion,
                                                               Mapping<? super TP1,? extends TP2> tpConversion)

copyUniversalDfs

public static <S1,I1,SP1,TP1,S2,SP2,TP2> Mapping<S1,S2> copyUniversalDfs(UniversalTransitionSystem<S1,I1,?,SP1,TP1> in,
                                                         Collection<? extends I1> inputs,
                                                         MutableAutomaton<S2,? super I1,?,SP2,TP2> out,
                                                         Mapping<? super SP1,? extends SP2> spConversion,
                                                         Mapping<? super TP1,? extends TP2> tpConversion)

copyUniversalDfs

public static <S1,I1,T1,SP1,TP1,S2,I2> Mapping<S1,S2> copyUniversalDfs(UniversalTransitionSystem<S1,I1,T1,SP1,TP1> in,
                                                       Collection<? extends I1> inputs,
                                                       MutableAutomaton<S2,I2,?,? super SP1,? super TP1> out,
                                                       Mapping<? super I1,? extends I2> inputsMapping)

copyUniversalDfs

public static <S1,I1,T1,SP1,TP1,S2> Mapping<S1,S2> copyUniversalDfs(UniversalTransitionSystem<S1,I1,T1,SP1,TP1> in,
                                                    Collection<? extends I1> inputs,
                                                    MutableAutomaton<S2,? super I1,?,? super SP1,? super TP1> out)