Package net.automatalib.util.ts.copy
Class TSCopyVisitor<S1,I1,T1,S2,I2,T2,SP2,TP2>
- java.lang.Object
-
- net.automatalib.util.ts.copy.TSCopyVisitor<S1,I1,T1,S2,I2,T2,SP2,TP2>
-
- All Implemented Interfaces:
TSTraversalVisitor<S1,I1,T1,S2>
public class TSCopyVisitor<S1,I1,T1,S2,I2,T2,SP2,TP2> extends Object implements TSTraversalVisitor<S1,I1,T1,S2>
-
-
Constructor Summary
Constructors Constructor Description TSCopyVisitor(TransitionSystem<S1,? super I1,T1> in, MutableAutomaton<S2,I2,T2,? super SP2,? super TP2> out, Function<? super I1,? extends I2> inputMapping, Function<? super S1,? extends SP2> spMapping, Function<? super T1,? extends TP2> tpMapping, Predicate<? super S1> stateFilter, TransitionPredicate<? super S1,? super I1,? super T1> transFilter)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Mapping<S1,@Nullable S2>
getStateMapping()
TSTraversalAction
processInitial(S1 initialState, Holder<S2> holder)
Called when the initial states of the transition system are processed.TSTraversalAction
processTransition(S1 srcState, S2 source2, I1 input, T1 transition, S1 tgtState, Holder<S2> tgtHolder)
Called when an edge is processed.-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Methods inherited from interface net.automatalib.util.ts.traversal.TSTraversalVisitor
backtrackTransition, finishExploration, startExploration
-
-
-
-
Constructor Detail
-
TSCopyVisitor
public TSCopyVisitor(TransitionSystem<S1,? super I1,T1> in, MutableAutomaton<S2,I2,T2,? super SP2,? super TP2> out, Function<? super I1,? extends I2> inputMapping, Function<? super S1,? extends SP2> spMapping, Function<? super T1,? extends TP2> tpMapping, Predicate<? super S1> stateFilter, TransitionPredicate<? super S1,? super I1,? super T1> transFilter)
-
-
Method Detail
-
processInitial
public TSTraversalAction processInitial(S1 initialState, Holder<S2> holder)
Description copied from interface:TSTraversalVisitor
Called when the initial states of the transition system are processed.- Specified by:
processInitial
in interfaceTSTraversalVisitor<S1,I1,T1,S2>
- Parameters:
initialState
- the state that is processedholder
- a writable reference whose (node-specific) data is passed to the corresponding methods during traversal- Returns:
- the action to perform
-
processTransition
public TSTraversalAction processTransition(S1 srcState, S2 source2, I1 input, T1 transition, S1 tgtState, Holder<S2> tgtHolder)
Description copied from interface:TSTraversalVisitor
Called when an edge is processed.- Specified by:
processTransition
in interfaceTSTraversalVisitor<S1,I1,T1,S2>
- Parameters:
srcState
- the source statesource2
- the user data associated with the source stateinput
- the input that is being processedtransition
- the transition that is being processedtgtState
- the target statetgtHolder
- a writable reference to provide user data that should be associated with the target state- Returns:
- the action to perform
-
-