Uses of Interface
net.automatalib.common.util.mapping.Mapping

Packages that use Mapping

Package	Description
net.automatalib.alphabet	This package contains the basic classes concerning alphabets.
net.automatalib.automaton.helper
net.automatalib.common.util.mapping
net.automatalib.modelchecker.m3c.solver
net.automatalib.serialization.dot
net.automatalib.util.automaton.copy
net.automatalib.util.automaton.transducer
net.automatalib.util.graph
net.automatalib.util.graph.copy
net.automatalib.util.minimizer
net.automatalib.util.ts.acceptor
net.automatalib.util.ts.copy

Uses of Mapping in net.automatalib.alphabet

Methods in net.automatalib.alphabet that return Mapping

Modifier and Type	Method	Description
default <I2> Mapping<I2,I>	Alphabet.translateFrom(Alphabet<I2> other)

Methods in net.automatalib.alphabet with parameters of type Mapping

Modifier and Type	Method	Description
default Word<I>	ProceduralInputAlphabet.expand(Iterable<I> input, Mapping<I,Word<I>> terminatingSequences)	Replaces all occurrences of call symbols in input with an embedded terminating sequence provided by terminatingSequences.

Uses of Mapping in net.automatalib.automaton.helper

Classes in net.automatalib.automaton.helper that implement Mapping

Modifier and Type	Class	Description
class	StateIDGrowingMapping<S,V>
class	StateIDStaticMapping<S,V>

Uses of Mapping in net.automatalib.common.util.mapping

Subinterfaces of Mapping in net.automatalib.common.util.mapping

Modifier and Type	Interface	Description
interface	MutableMapping<D,R>	Mutable version of a Mapping, which supports setting keys for given values.

Classes in net.automatalib.common.util.mapping that implement Mapping

Modifier and Type	Class	Description
class	ArrayMapping<K extends NumericID,V>
class	MapMapping<D,R>	Class that wraps a Mapping around a Map.

Methods in net.automatalib.common.util.mapping that return Mapping

Modifier and Type	Method	Description
static <D,I,R> Mapping<D,R>	Mappings.compose(Mapping<D,? extends I> first, Mapping<? super I,R> second)	Retrieves the composition of two mappings, i.e., that mapping that results from applying the get(Object) method consecutively.
static <D,R> Mapping<D,R>	Mappings.fromMap(Map<D,R> map)
static <T> Mapping<T,T>	Mappings.identity()	Retrieves the identity mapping, which maps each domain value to itself.
static Mapping<@NonNegative Long,String>	Mappings.indexToString()
static <D,R> Mapping<D,R>	Mappings.nullMapping()	Retrieves the null mapping, which maps each domain value to null.
static Mapping<String,Long>	Mappings.stringToIndex()
static <D> Mapping<D,String>	Mappings.toStringMapping()	Returns a mapping that maps objects to their String representation, as obtained by String.valueOf(Object).
static <S,T extends S> Mapping<T,S>	Mappings.upcast()	Returns a mapping that maps objects to a supertype representation.

Methods in net.automatalib.common.util.mapping with parameters of type Mapping

Modifier and Type	Method	Description
static <D,R> Iterable<R>	Mappings.apply(Mapping<? super D,R> mapping, Iterable<? extends D> it)	Applies a mapping to an iterable.
static <D,R> Collection<R>	Mappings.apply(Mapping<? super D,R> mapping, Collection<? extends D> coll)	Applies a mapping to a collection, resulting in a collection containing the result of applying the specified mapping to each element in the collection.
static <D,R> Iterator<R>	Mappings.apply(Mapping<? super D,R> mapping, Iterator<? extends D> baseIt)	Applies a mapping to an iterator.
static <D,R> List<R>	Mappings.apply(Mapping<? super D,R> mapping, List<? extends D> list)	Applies a mapping to a list, resulting in a list containing the result of applying the specified mapping to each element in the list.
static <D,I,R> Mapping<D,R>	Mappings.compose(Mapping<D,? extends I> first, Mapping<? super I,R> second)	Retrieves the composition of two mappings, i.e., that mapping that results from applying the get(Object) method consecutively.
static <D> D	Mappings.idGet(Mapping<D,D> mapping, D key)
static <D,R> @Nullable R	Mappings.nullGet(@Nullable Mapping<? super D,? extends R> mapping, D key)
static <D,R> R	Mappings.safeGet(@Nullable Mapping<? super D,? extends R> mapping, D key, R fallback)	Safely retrieves a value from a mapping.

Uses of Mapping in net.automatalib.modelchecker.m3c.solver

Methods in net.automatalib.modelchecker.m3c.solver that return Mapping

Modifier and Type	Method	Description
Mapping<N,T>	SolverData.getInitialPropertyTransformers(TransformerSerializer<T,L,AP> serializer)	Returns a Mapping which maps nodes to their initial property transformer.
Mapping<N,List<FormulaNode<L,AP>>>	SolverData.getInitialSatisfiedSubformulas()	Returns a Mapping which contains the list of the initial satisfied subformulas for each node of the ProceduralModalProcessGraph whose data is stored in an instance of this class.

Uses of Mapping in net.automatalib.serialization.dot

Fields in net.automatalib.serialization.dot declared as Mapping

Modifier and Type	Field	Description
Mapping<S,String>	DOTInputModelData.stateLabels

Constructors in net.automatalib.serialization.dot with parameters of type Mapping

Constructor	Description
DOTInputModelData(M model, Alphabet<I> alphabet, Mapping<S,String> stateLabels)

Uses of Mapping in net.automatalib.util.automaton.copy

Methods in net.automatalib.util.automaton.copy that return Mapping

Modifier and Type	Method	Description
static <S1,I,T1,SP,TP,S2,T2> Mapping<S1,S2>	AutomatonLowLevelCopy.copy(AutomatonCopyMethod method, UniversalAutomaton<S1,? super I,T1,? extends SP,? extends TP> in, Collection<? extends I> inputs, MutableAutomaton<S2,I,T2,? super SP,? super TP> out)	Copies a UniversalAutomaton with compatible input alphabets and properties.
static <S1,I,T1,SP,TP,S2,T2> Mapping<S1,S2>	AutomatonLowLevelCopy.copy(AutomatonCopyMethod method, UniversalAutomaton<S1,? super I,T1,? extends SP,? extends TP> in, Collection<? extends I> inputs, MutableAutomaton<S2,I,T2,? super SP,? super TP> out, Predicate<? super S1> stateFilter, TransitionPredicate<? super S1,? super I,? super T1> transFilter)	Copies a UniversalAutomaton with compatible input alphabets and properties.
static <S1,I,T1,SP1,TP1,S2,T2,SP2,TP2> Mapping<S1,S2>	AutomatonLowLevelCopy.copy(AutomatonCopyMethod method, UniversalAutomaton<S1,? super I,T1,? extends SP1,? extends TP1> in, Collection<? extends I> inputs, MutableAutomaton<S2,I,T2,? super SP2,? super TP2> out, Function<? super SP1,? extends SP2> spTransform, Function<? super TP1,? extends TP2> tpTransform)	Copies a UniversalAutomaton to a MutableAutomaton with compatible input alphabets, but possibly heterogeneous properties.
static <S1,I,T1,SP1,TP1,S2,T2,SP2,TP2> Mapping<S1,S2>	AutomatonLowLevelCopy.copy(AutomatonCopyMethod method, UniversalAutomaton<S1,? super I,T1,? extends SP1,? extends TP1> in, Collection<? extends I> inputs, MutableAutomaton<S2,I,T2,? super SP2,? super TP2> out, Function<? super SP1,? extends SP2> spTransform, Function<? super TP1,? extends TP2> tpTransform, Predicate<? super S1> stateFilter, TransitionPredicate<? super S1,? super I,? super T1> transFilter)	Copies a UniversalAutomaton to a MutableAutomaton with compatible input alphabets, but possibly heterogeneous properties.
static <S1,I1,T1,SP,TP,S2,I2,T2> Mapping<S1,S2>	AutomatonLowLevelCopy.copy(AutomatonCopyMethod method, UniversalAutomaton<S1,? super I1,T1,? extends SP,? extends TP> in, Collection<? extends I1> inputs, MutableAutomaton<S2,I2,T2,? super SP,? super TP> out, Function<? super I1,? extends I2> inputsMapping)	Copies a UniversalAutomaton with possibly heterogeneous input alphabets, but compatible properties.
static <S1,I1,T1,SP,TP,S2,I2,T2> Mapping<S1,S2>	AutomatonLowLevelCopy.copy(AutomatonCopyMethod method, UniversalAutomaton<S1,? super I1,T1,? extends SP,? extends TP> in, Collection<? extends I1> inputs, MutableAutomaton<S2,I2,T2,? super SP,? super TP> out, Function<? super I1,? extends I2> inputsMapping, Predicate<? super S1> stateFilter, TransitionPredicate<? super S1,? super I1,? super T1> transFilter)	Copies a UniversalAutomaton with possibly heterogeneous input alphabets, but compatible properties.
static <S1,I1,T1,SP1,TP1,S2,I2,T2,SP2,TP2> Mapping<S1,S2>	AutomatonLowLevelCopy.copy(AutomatonCopyMethod method, UniversalAutomaton<S1,? super I1,T1,? extends SP1,? extends TP1> in, Collection<? extends I1> inputs, MutableAutomaton<S2,I2,T2,? super SP2,? super TP2> out, Function<? super I1,? extends I2> inputsMapping, Function<? super SP1,? extends SP2> spTransform, Function<? super TP1,? extends TP2> tpTransform)	Copies a UniversalAutomaton to a MutableAutomaton with possibly heterogeneous input alphabets and state and transition properties.
static <S1,I1,T1,SP1,TP1,S2,I2,T2,SP2,TP2> Mapping<S1,S2>	AutomatonLowLevelCopy.copy(AutomatonCopyMethod method, UniversalAutomaton<S1,? super I1,T1,? extends SP1,? extends TP1> in, Collection<? extends I1> inputs, MutableAutomaton<S2,I2,T2,? super SP2,? super TP2> out, Function<? super I1,? extends I2> inputsMapping, Function<? super SP1,? extends SP2> spTransform, Function<? super TP1,? extends TP2> tpTransform, Predicate<? super S1> stateFilter, TransitionPredicate<? super S1,? super I1,? super T1> transFilter)	Copies a UniversalAutomaton to a MutableAutomaton with possibly heterogeneous input alphabets and state and transition properties.
Mapping<S1,S2>	AbstractLowLevelAutomatonCopier.getStateMapping()
Mapping<S1,S2>	LowLevelAutomatonCopier.getStateMapping()
static <S1,I,T1,S2,T2,SP2,TP2> Mapping<S1,S2>	AutomatonLowLevelCopy.rawCopy(AutomatonCopyMethod method, Automaton<S1,? super I,T1> in, Collection<? extends I> inputs, MutableAutomaton<S2,I,T2,SP2,TP2> out, Function<? super S1,? extends SP2> spMapping, Function<? super T1,? extends TP2> tpMapping)	Copies an Automaton to a MutableAutomaton with a compatible input alphabet, but possibly heterogeneous state and transition properties.
static <S1,I,T1,S2,T2,SP2,TP2> Mapping<S1,S2>	AutomatonLowLevelCopy.rawCopy(AutomatonCopyMethod method, Automaton<S1,? super I,T1> in, Collection<? extends I> inputs, MutableAutomaton<S2,I,T2,SP2,TP2> out, Function<? super S1,? extends SP2> spMapping, Function<? super T1,? extends TP2> tpMapping, Predicate<? super S1> stateFilter, TransitionPredicate<? super S1,? super I,? super T1> transFilter)	Copies an Automaton to a MutableAutomaton with a compatible input alphabet, but possibly heterogeneous state and transition properties.
static <S1,I1,T1,S2,I2,T2,SP2,TP2> Mapping<S1,S2>	AutomatonLowLevelCopy.rawCopy(AutomatonCopyMethod method, 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)	Copies an Automaton to a MutableAutomaton with possibly heterogeneous input alphabets and state and transition properties.
static <S1,I1,T1,S2,I2,T2,SP2,TP2> Mapping<S1,S2>	AutomatonLowLevelCopy.rawCopy(AutomatonCopyMethod method, 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> transFilter)	Copies an Automaton to a MutableAutomaton with possibly heterogeneous input alphabets and state and transition properties.

Uses of Mapping in net.automatalib.util.automaton.transducer

Methods in net.automatalib.util.automaton.transducer that return Mapping

Modifier and Type	Method	Description
static <S1,T1,S2,I,O> Mapping<S1,S2>	MealyFilter.filterByOutput(MealyMachine<S1,I,T1,O> in, Collection<? extends I> inputs, MutableMealyMachine<S2,I,?,O> out, Predicate<? super O> outputPred)

Uses of Mapping in net.automatalib.util.graph

Methods in net.automatalib.util.graph that return Mapping

Modifier and Type	Method	Description
static <N,E> Mapping<N,@Nullable Collection<E>>	Graphs.incomingEdges(Graph<N,E> graph)

Uses of Mapping in net.automatalib.util.graph.copy

Methods in net.automatalib.util.graph.copy that return Mapping

Modifier and Type	Method	Description
static <N1,E1,N2,E2,NP2,EP2> Mapping<N1,N2>	GraphCopy.copyPlain(Graph<N1,E1> in, MutableGraph<N2,E2,NP2,EP2> out, Mapping<? super N1,? extends NP2> npMapping, Mapping<? super E1,? extends EP2> epMapping)
static <N1,E1,N2,E2,NP2,EP2> Mapping<N1,N2>	GraphCopy.copyPlain(UniversalGraph<N1,E1,? extends NP2,? extends EP2> in, MutableGraph<N2,E2,NP2,EP2> out)
static <N1,E1,N2,E2,NP2,EP2> Mapping<N1,N2>	GraphCopy.copyTraversal(IndefiniteGraph<N1,E1> in, MutableGraph<N2,E2,NP2,EP2> out, TraversalOrder order, int limit, Collection<? extends N1> initialNodes, Mapping<? super N1,? extends NP2> npMapping, Mapping<? super E1,? extends EP2> epMapping)
static <N1,E1,N2,E2,NP2,EP2> Mapping<N1,N2>	GraphCopy.copyTraversal(UniversalIndefiniteGraph<N1,E1,? extends NP2,? extends EP2> in, MutableGraph<N2,E2,NP2,EP2> out, TraversalOrder order, int limit, Collection<? extends N1> initialNodes)
static <N1,E1,NP1,EP1,N2,E2,NP2,EP2> Mapping<N1,N2>	GraphCopy.copyUniversalPlain(UniversalGraph<N1,E1,NP1,EP1> in, MutableGraph<N2,E2,NP2,EP2> out, Mapping<? super NP1,? extends NP2> npConversion, Mapping<? super EP1,? extends EP2> epConversion)
static <N1,E1,NP1,EP1,N2,E2,NP2,EP2> Mapping<N1,N2>	GraphCopy.copyUniversalTraversal(UniversalIndefiniteGraph<N1,E1,NP1,EP1> in, MutableGraph<N2,E2,NP2,EP2> out, TraversalOrder order, int limit, Collection<? extends N1> initialNodes, Mapping<? super NP1,? extends NP2> npConversion, Mapping<? super EP1,? extends EP2> epConversion)

Methods in net.automatalib.util.graph.copy with parameters of type Mapping

Modifier and Type	Method	Description
static <N1,E1,N2,E2,NP2,EP2> Mapping<N1,N2>	GraphCopy.copyPlain(Graph<N1,E1> in, MutableGraph<N2,E2,NP2,EP2> out, Mapping<? super N1,? extends NP2> npMapping, Mapping<? super E1,? extends EP2> epMapping)
static <N1,E1,N2,E2,NP2,EP2> Mapping<N1,N2>	GraphCopy.copyTraversal(IndefiniteGraph<N1,E1> in, MutableGraph<N2,E2,NP2,EP2> out, TraversalOrder order, int limit, Collection<? extends N1> initialNodes, Mapping<? super N1,? extends NP2> npMapping, Mapping<? super E1,? extends EP2> epMapping)
static <N1,E1,NP1,EP1,N2,E2,NP2,EP2> Mapping<N1,N2>	GraphCopy.copyUniversalPlain(UniversalGraph<N1,E1,NP1,EP1> in, MutableGraph<N2,E2,NP2,EP2> out, Mapping<? super NP1,? extends NP2> npConversion, Mapping<? super EP1,? extends EP2> epConversion)
static <N1,E1,NP1,EP1,N2,E2,NP2,EP2> Mapping<N1,N2>	GraphCopy.copyUniversalTraversal(UniversalIndefiniteGraph<N1,E1,NP1,EP1> in, MutableGraph<N2,E2,NP2,EP2> out, TraversalOrder order, int limit, Collection<? extends N1> initialNodes, Mapping<? super NP1,? extends NP2> npConversion, Mapping<? super EP1,? extends EP2> epConversion)

Uses of Mapping in net.automatalib.util.minimizer

Classes in net.automatalib.util.minimizer that implement Mapping

Modifier and Type	Class	Description
class	BlockMap<V>	Class for associating arbitrary values with the blocks of a minimization result.

Uses of Mapping in net.automatalib.util.ts.acceptor

Methods in net.automatalib.util.ts.acceptor that return Mapping

Modifier and Type	Method	Description
static <S> Mapping<S,Boolean>	Acceptors.acceptance(AcceptorTS<S,?> acceptor)

Uses of Mapping in net.automatalib.util.ts.copy

Methods in net.automatalib.util.ts.copy that return Mapping

Modifier and Type	Method	Description
static <S1,I,T1,SP,TP,S2,T2> Mapping<S1,S2>	TSCopy.copy(TSTraversalMethod method, UniversalTransitionSystem<S1,? super I,T1,? extends SP,? extends TP> in, int limit, Collection<? extends I> inputs, MutableAutomaton<S2,I,T2,? super SP,? super TP> out)	Copies a UniversalAutomaton with compatible input alphabets and properties.
static <S1,I,T1,SP,TP,S2,T2> Mapping<S1,S2>	TSCopy.copy(TSTraversalMethod method, UniversalTransitionSystem<S1,? super I,T1,? extends SP,? extends TP> in, int limit, Collection<? extends I> inputs, MutableAutomaton<S2,I,T2,? super SP,? super TP> out, Predicate<? super S1> stateFilter, TransitionPredicate<? super S1,? super I,? super T1> transFilter)	Copies a UniversalAutomaton with compatible input alphabets and properties.
static <S1,I,T1,SP1,TP1,S2,T2,SP2,TP2> Mapping<S1,S2>	TSCopy.copy(TSTraversalMethod method, UniversalTransitionSystem<S1,? super I,T1,? extends SP1,? extends TP1> in, int limit, Collection<? extends I> inputs, MutableAutomaton<S2,I,T2,? super SP2,? super TP2> out, Function<? super SP1,? extends SP2> spTransform, Function<? super TP1,? extends TP2> tpTransform)	Copies a UniversalAutomaton to a MutableAutomaton with compatible input alphabets, but possibly heterogeneous properties.
static <S1,I,T1,SP1,TP1,S2,T2,SP2,TP2> Mapping<S1,S2>	TSCopy.copy(TSTraversalMethod method, UniversalTransitionSystem<S1,? super I,T1,? extends SP1,? extends TP1> in, int limit, Collection<? extends I> inputs, MutableAutomaton<S2,I,T2,? super SP2,? super TP2> out, Function<? super SP1,? extends SP2> spTransform, Function<? super TP1,? extends TP2> tpTransform, Predicate<? super S1> stateFilter, TransitionPredicate<? super S1,? super I,? super T1> transFilter)	Copies a UniversalAutomaton to a MutableAutomaton with compatible input alphabets, but possibly heterogeneous properties.
static <S1,I1,T1,SP,TP,S2,I2,T2> Mapping<S1,S2>	TSCopy.copy(TSTraversalMethod method, UniversalTransitionSystem<S1,? super I1,T1,? extends SP,? extends TP> in, int limit, Collection<? extends I1> inputs, MutableAutomaton<S2,I2,T2,? super SP,? super TP> out, Function<? super I1,? extends I2> inputsMapping)	Copies a UniversalAutomaton with possibly heterogeneous input alphabets, but compatible properties.
static <S1,I1,T1,SP,TP,S2,I2,T2> Mapping<S1,S2>	TSCopy.copy(TSTraversalMethod method, UniversalTransitionSystem<S1,? super I1,T1,? extends SP,? extends TP> in, int limit, Collection<? extends I1> inputs, MutableAutomaton<S2,I2,T2,? super SP,? super TP> out, Function<? super I1,? extends I2> inputsMapping, Predicate<? super S1> stateFilter, TransitionPredicate<? super S1,? super I1,? super T1> transFilter)	Copies a UniversalAutomaton with possibly heterogeneous input alphabets, but compatible properties.
static <S1,I1,T1,SP1,TP1,S2,I2,T2,SP2,TP2> Mapping<S1,S2>	TSCopy.copy(TSTraversalMethod method, UniversalTransitionSystem<S1,? super I1,T1,? extends SP1,? extends TP1> in, int limit, Collection<? extends I1> inputs, MutableAutomaton<S2,I2,T2,? super SP2,? super TP2> out, Function<? super I1,? extends I2> inputsMapping, Function<? super SP1,? extends SP2> spTransform, Function<? super TP1,? extends TP2> tpTransform)	Copies a UniversalAutomaton to a MutableAutomaton with possibly heterogeneous input alphabets and state and transition properties.
static <S1,I1,T1,SP1,TP1,S2,I2,T2,SP2,TP2> Mapping<S1,S2>	TSCopy.copy(TSTraversalMethod method, UniversalTransitionSystem<S1,? super I1,T1,? extends SP1,? extends TP1> in, int limit, Collection<? extends I1> inputs, MutableAutomaton<S2,I2,T2,? super SP2,? super TP2> out, Function<? super I1,? extends I2> inputsMapping, Function<? super SP1,? extends SP2> spTransform, Function<? super TP1,? extends TP2> tpTransform, Predicate<? super S1> stateFilter, TransitionPredicate<? super S1,? super I1,? super T1> transFilter)	Copies a UniversalAutomaton to a MutableAutomaton with possibly heterogeneous input alphabets and state and transition properties.
Mapping<S1,@Nullable S2>	TSCopyVisitor.getStateMapping()
static <S1,I,T1,S2,T2,SP2,TP2> Mapping<S1,S2>	TSCopy.rawCopy(TSTraversalMethod method, TransitionSystem<S1,? super I,T1> in, int limit, Collection<? extends I> inputs, MutableAutomaton<S2,I,T2,SP2,TP2> out, Function<? super S1,? extends SP2> spMapping, Function<? super T1,? extends TP2> tpMapping)	Copies an Automaton to a MutableAutomaton with a compatible input alphabet, but possibly heterogeneous state and transition properties.
static <S1,I,T1,S2,T2,SP2,TP2> Mapping<S1,S2>	TSCopy.rawCopy(TSTraversalMethod method, TransitionSystem<S1,? super I,T1> in, int limit, Collection<? extends I> inputs, MutableAutomaton<S2,I,T2,SP2,TP2> out, Function<? super S1,? extends SP2> spMapping, Function<? super T1,? extends TP2> tpMapping, Predicate<? super S1> stateFilter, TransitionPredicate<? super S1,? super I,? super T1> transFilter)	Copies an Automaton to a MutableAutomaton with a compatible input alphabet, but possibly heterogeneous state and transition properties.
static <S1,I1,T1,S2,I2,T2,SP2,TP2> Mapping<S1,S2>	TSCopy.rawCopy(TSTraversalMethod method, TransitionSystem<S1,? super I1,T1> in, int limit, 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)	Copies an Automaton to a MutableAutomaton with possibly heterogeneous input alphabets and state and transition properties.
static <S1,I1,T1,S2,I2,T2,SP2,TP2> Mapping<S1,S2>	TSCopy.rawCopy(TSTraversalMethod method, TransitionSystem<S1,? super I1,T1> in, int limit, 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)	Copies an TransitionSystem to a MutableAutomaton with possibly heterogeneous input alphabets and state and transition properties.