pushout 0.1.1

A graph rewriting library built on petgraph.
Documentation
1
2
3
4
5
6
7
8
pub mod rule;
pub mod morphism;
pub mod util;
pub mod dpo;

pub use rule::Rule;
pub use morphism::Morphism;
pub use dpo::{find_matches, apply_once, apply};