A generic precedence graph.
Protected
A map from nodes to the set of their upstream neighbors.
The total number of edges in the graph.
Add all the nodes and edges from the given precedence graph to this one.
A precedence graph
Add an edge from an upstream node to a downstream one.
The node at which the directed edge starts.
The node at which the directed edge ends.
Add the given node to this graph.
Return the set of all downstream neighbors of the given node.
The node to retrieve the outgoing nodes of.
Return an iterator over the nodes in the graph.
Return the nodes in the graph that have no downstream neighbors.
Return the nodes in the graph that have no upstream neighbors.
Return the set of all upstream neighbors of the given node.
The node to retrieve the incoming nodes of.
Return true if the graph has a cycle in it.
Remove a directed edge from an upstream node to a downstream one.
Remove the given node from the graph.
The node to remove.
Return the size of the graph in terms of number of nodes and edges.
Return a DOT representation of the graph.
Return a representation that conforms with the syntax of mermaid.js
Optional
An array containing arrays with [origin, effect]. Denotes edges in the graph that causes issues to the execution, will be visualized as --x in mermaid.
--x
A generic precedence graph.