Trait BoundedSimulation 

pub trait BoundedSimulation<'a> {
    type Node: 'a;

    // Required method
    fn get_bounded_simulation(
        &'a self,
        other: &'a Self,
    ) -> HashMap<&'a Self::Node, HashSet<&'a Self::Node>>;
}

Required Associated Types

type Node: 'a

Required Methods

fn get_bounded_simulation( &'a self, other: &'a Self, ) -> HashMap<&'a Self::Node, HashSet<&'a Self::Node>>

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl<'a, 'b, T> BoundedSimulation<'a> for T

where T: Graph<'a> + Bounded<'a> + Degree<'a> + Labeled<'a> + Adjacency<'a> + AdjacencyInv<'a> + Directed + 'b, T::Node: 'a, T::Edge: 'a,

type Node = <T as Graph<'a>>::Node