Uses of Class
net.automatalib.util.ts.traversal.TSTraversalAction
-
Packages that use TSTraversalAction Package Description net.automatalib.util.ts.copy net.automatalib.util.ts.traversal -
-
Uses of TSTraversalAction in net.automatalib.util.ts.copy
Methods in net.automatalib.util.ts.copy that return TSTraversalAction Modifier and Type Method Description TSTraversalAction
TSCopyVisitor. processInitial(S1 initialState, Holder<S2> holder)
TSTraversalAction
TSCopyVisitor. processTransition(S1 srcState, S2 source2, I1 input, T1 transition, S1 tgtState, Holder<S2> tgtHolder)
-
Uses of TSTraversalAction in net.automatalib.util.ts.traversal
Methods in net.automatalib.util.ts.traversal that return TSTraversalAction Modifier and Type Method Description default TSTraversalAction
TSTraversalVisitor. processInitial(S initialState, Holder<D> holder)
Called when the initial states of the transition system are processed.default TSTraversalAction
TSTraversalVisitor. processTransition(S srcState, D srcData, I input, T transition, S tgtState, Holder<D> tgtHolder)
Called when an edge is processed.static TSTraversalAction
TSTraversalAction. valueOf(String name)
Returns the enum constant of this type with the specified name.static TSTraversalAction[]
TSTraversalAction. values()
Returns an array containing the constants of this enum type, in the order they are declared.
-