apply_rule

Function apply_rule 

Source
pub fn apply_rule<N, E>(
    host: &Graph<N, E>,
    rule: &Rule<N, E>,
) -> Option<Graph<N, E>>
where N: Eq + Clone, E: Eq + Clone,
Expand description

Apply a single DPO rule once (returns None if no match or gluing fails).