Wrapper for a static graph that adds a binode mapping function.
Contains the associated types of a graph.
A node-centric bidirected graph. That is a graph in which each node has a unique partner, and this relation is symmetric.
A static bigraph that can be created from a static digraph. Since the graph is static, the resulting topology will be the input topology, only the bigraph node mapping function will be computed on top.