Class FixedPointGraphTraversal<N,E>
java.lang.Object
com.google.javascript.jscomp.graph.FixedPointGraphTraversal<N,E>
- Type Parameters:
N- Value type that the graph node stores.E- Value type that the graph edge stores.
A utility class for doing fixed-point computations. We traverse
the edges over the given directed graph until the graph reaches
a steady state.
-
Nested Class Summary
Nested ClassesModifier and TypeClassDescriptionstatic interfaceEdge callback -
Field Summary
Fields -
Method Summary
Modifier and TypeMethodDescriptionvoidcomputeFixedPoint(DiGraph<N, E> graph) Compute a fixed point for the given graph.voidCompute a fixed point for the given graph, entering from the given nodes.voidcomputeFixedPoint(DiGraph<N, E> graph, N entry) Compute a fixed point for the given graph, entering from the given node.static <NodeT,EdgeT>
FixedPointGraphTraversal<NodeT, EdgeT> newReverseTraversal(FixedPointGraphTraversal.EdgeCallback<NodeT, EdgeT> callback) Helper method for creating new traversals that traverse from child to parent.static <NodeT,EdgeT>
FixedPointGraphTraversal<NodeT, EdgeT> newTraversal(FixedPointGraphTraversal.EdgeCallback<NodeT, EdgeT> callback) Helper method for creating new traversals that traverse from parent to child.
-
Field Details
-
NON_HALTING_ERROR_MSG
- See Also:
-
-
Method Details
-
newTraversal
public static <NodeT,EdgeT> FixedPointGraphTraversal<NodeT,EdgeT> newTraversal(FixedPointGraphTraversal.EdgeCallback<NodeT, EdgeT> callback) Helper method for creating new traversals that traverse from parent to child. -
newReverseTraversal
public static <NodeT,EdgeT> FixedPointGraphTraversal<NodeT,EdgeT> newReverseTraversal(FixedPointGraphTraversal.EdgeCallback<NodeT, EdgeT> callback) Helper method for creating new traversals that traverse from child to parent. -
computeFixedPoint
Compute a fixed point for the given graph.- Parameters:
graph- The graph to traverse.
-
computeFixedPoint
Compute a fixed point for the given graph, entering from the given node.- Parameters:
graph- The graph to traverse.entry- The node to begin traversing from.
-
computeFixedPoint
Compute a fixed point for the given graph, entering from the given nodes.- Parameters:
graph- The graph to traverse.entrySet- The nodes to begin traversing from.
-