Skip to main content

GraphRewrite

Trait GraphRewrite 

Source
pub trait GraphRewrite<N, E> {
    // Required method
    fn apply(&self, host: &Graph<N, E>) -> Option<Graph<N, E>>;
}
Expand description

A trait for “apply‐once” graph‐rewrites.

Required Methods§

Source

fn apply(&self, host: &Graph<N, E>) -> Option<Graph<N, E>>

Try to apply this rewrite to host.

Dyn Compatibility§

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors§

Source§

impl<N, E> GraphRewrite<N, E> for Rule<N, E>
where N: Eq + Clone, E: Eq + Clone,