public abstract class AutomatonCopy extends Object
Modifier and Type | Method and Description |
---|---|
static <S1,I1 extends I2,T1,S2,I2,SP2,TP2> |
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> |
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> |
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> |
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> |
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> |
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> |
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> |
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> |
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> |
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> |
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> |
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) |
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
Copyright © 2015. All Rights Reserved.