public class TSCopyVisitor<S1,I1,T1,S2,I2,T2,SP2,TP2> extends Object implements TSTraversalVisitor<S1,I1,T1,S2>
Constructor and 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) |
Modifier and Type | Method and Description |
---|---|
Mapping<S1,S2> |
getStateMapping() |
TSTraversalAction |
processInitial(S1 state,
Holder<S2> outData) |
TSTraversalAction |
processTransition(S1 source,
S2 source2,
I1 input,
T1 transition,
S1 succ,
Holder<S2> outData) |
boolean |
startExploration(S1 state,
S2 data) |
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)
public TSTraversalAction processInitial(S1 state, Holder<S2> outData)
processInitial
in interface TSTraversalVisitor<S1,I1,T1,S2>
public boolean startExploration(S1 state, S2 data)
startExploration
in interface TSTraversalVisitor<S1,I1,T1,S2>
public TSTraversalAction processTransition(S1 source, S2 source2, I1 input, T1 transition, S1 succ, Holder<S2> outData)
processTransition
in interface TSTraversalVisitor<S1,I1,T1,S2>
Copyright © 2015. All rights reserved.