Uses of Class
net.automatalib.common.util.Holder
-
Packages that use Holder Package Description net.automatalib.util.graph.scc net.automatalib.util.graph.traversal net.automatalib.util.ts.copy net.automatalib.util.ts.traversal -
-
Uses of Holder in net.automatalib.util.graph.scc
Methods in net.automatalib.util.graph.scc with parameters of type Holder Modifier and Type Method Description GraphTraversalAction
TarjanSCCVisitor. processEdge(N srcNode, TarjanSCCRecord srcData, E edge, N tgtNode, Holder<TarjanSCCRecord> tgtHolder)
GraphTraversalAction
TarjanSCCVisitor. processInitial(N initialNode, Holder<TarjanSCCRecord> holder)
-
Uses of Holder in net.automatalib.util.graph.traversal
Methods in net.automatalib.util.graph.traversal with parameters of type Holder Modifier and Type Method Description default GraphTraversalAction
GraphTraversalVisitor. processEdge(N srcNode, D srcData, E edge, N tgtNode, Holder<D> tgtHolder)
Called when an edge is processed.default GraphTraversalAction
GraphTraversalVisitor. processInitial(N initialNode, Holder<D> holder)
Called when the initial nodes (as passed to the traversal method) are processed. -
Uses of Holder in net.automatalib.util.ts.copy
Methods in net.automatalib.util.ts.copy with parameters of type Holder 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 Holder in net.automatalib.util.ts.traversal
Methods in net.automatalib.util.ts.traversal with parameters of type Holder 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.
-