Package | Description |
---|---|
net.automatalib.util.graphs.scc | |
net.automatalib.util.graphs.traversal | |
net.automatalib.util.ts.copy | |
net.automatalib.util.ts.traversal |
Modifier and Type | Method and Description |
---|---|
GraphTraversalAction |
TarjanSCCVisitor.processEdge(N srcNode,
net.automatalib.util.graphs.scc.TarjanSCCRecord srcData,
E edge,
N tgtNode,
Holder<net.automatalib.util.graphs.scc.TarjanSCCRecord> dataHolder) |
GraphTraversalAction |
TarjanSCCVisitor.processInitial(N initialNode,
Holder<net.automatalib.util.graphs.scc.TarjanSCCRecord> outData) |
Modifier and Type | Method and Description |
---|---|
GraphTraversalAction |
DefaultGraphTraversalVisitor.processEdge(N srcNode,
D srcData,
E edge,
N tgtNode,
Holder<D> outData) |
GraphTraversalAction |
GraphTraversalVisitor.processEdge(N srcNode,
D srcData,
E edge,
N tgtNode,
Holder<D> outData)
Called when an edge is processed.
|
GraphTraversalAction |
DefaultGraphTraversalVisitor.processInitial(N initialNode,
Holder<D> outData) |
GraphTraversalAction |
GraphTraversalVisitor.processInitial(N initialNode,
Holder<D> outData)
Called when a node is processed initially.
|
Modifier and Type | Method and Description |
---|---|
TSTraversalAction |
TSCopyVisitor.processInitial(S1 state,
Holder<S2> outData) |
TSTraversalAction |
TSCopyVisitor.processTransition(S1 source,
S2 source2,
I1 input,
T1 transition,
S1 succ,
Holder<S2> outData) |
Modifier and Type | Method and Description |
---|---|
TSTraversalAction |
TSTraversalVisitor.processInitial(S state,
Holder<D> outData) |
TSTraversalAction |
TSTraversalVisitor.processTransition(S source,
D srcData,
I input,
T transition,
S succ,
Holder<D> outData) |
Copyright © 2020. All rights reserved.