public static <S1, I, T1, S2, T2, SP2, TP2> Mapping<S1, S2> 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) {
        return rawCopy(method,
                       in,
                       limit,
                       inputs,
                       out,
                       Function.identity(),
                       spMapping,
                       tpMapping,
                       stateFilter,
                       transFilter);
    }
public static < S1 , I , T1 , S2 , T2 , SP2 , TP2 > Mapping < S1 , S2 > 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 ) { return rawCopy ( method , in , limit , inputs , out , Function . identity ( ) , spMapping , tpMapping , stateFilter , transFilter ) ; }
Copies an {@link Automaton} to a {@link MutableAutomaton} with a compatible input alphabet, but possibly
heterogeneous state and transition properties.

@param method
the traversal method to use
@param in
the input transition system
@param limit
the traversal limit, a value less than 0 means no limit
@param inputs
the inputs to consider
@param out
the output automaton
@param spMapping
the function for obtaining state properties
@param tpMapping
the function for obtaining transition properties
@param stateFilter
the filter predicate for states
@param transFilter
the filter predicate for transitions

@return a mapping from old to new states