bigraph 5.0.1

Different representations with implemented operations on bigraphs
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

/// Traits concerning dynamic bigraphs, i.e. bigraphs that can be mutated.
pub mod dynamic_bigraph;
/// Traits concerning static bigraphs, i.e. bigraphs that are immutable.
pub mod static_bigraph;

/// A type of data that can be mirrored.
/// This is used to map nodes or edges to their mirrors.
pub trait BidirectedData {
    /// Compute the mirror of this data.
    fn mirror(&self) -> Self;
}

impl BidirectedData for () {
    fn mirror(&self) -> Self {}
}