Module bigraph::implementation

source ·
Expand description

Different implementations of bigraphs.

Modules

  • node_bigraph_wrapper
    A bigraph wrapper for a node-centric bigraph. This implementation stores a vector to map nodes to their mirrors.