Trait HyperSimulation

pub trait HyperSimulation<'a> {
    type Node;

    // Required methods
    fn get_simulation_fixpoint(
        &'a self,
        other: &'a Self,
    ) -> HashMap<&'a Self::Node, HashSet<&'a Self::Node>>;
    fn get_simulation_recursive(
        &'a self,
        other: &'a Self,
    ) -> HashMap<&'a Self::Node, HashSet<&'a Self::Node>>;
    fn get_simulation_naive(
        &'a self,
        other: &'a Self,
    ) -> HashMap<&'a Self::Node, HashSet<&'a Self::Node>>;
}

Required Associated Types

type Node

Required Methods

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

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

fn get_simulation_naive( &'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, H> HyperSimulation<'a> for H

where H: Hypergraph<'a> + Typed<'a> + LMatch<'a> + LPredicate<'a> + ContainedHyperedge<'a>,

type Node = <H as Hypergraph<'a>>::Node