1 2 3
/// A bigraph wrapper for a node-centric bigraph. /// This implementation stores a vector to map nodes to their mirrors. pub mod node_bigraph_wrapper;