Crate portdiff

Re-exports§

pub use graph_view::NodeId;
pub use graph_view::PortDiffGraph;
pub use port_diff::InvalidRewriteError;
pub use port_diff::PortDiff;

Modules§

graph_view
port_diff
subgraph

Structs§

BoundPort: A port that is connected to an edge.
Site: Site: where ports can be connected.

Enums§

BoundarySite: A site of a boundary port.
EdgeEnd
Port: A port in the graph, either connected to an edge or marking a subgraph boundary.

Traits§

Graph: A graph for port diffing.