Trait DiHyperSimulation

pub trait DiHyperSimulation<'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_native(
        &'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_native( &'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> DiHyperSimulation<'a> for H

where H: DirectedHypergraph<'a> + Typed + LMatch<'a> + LPredicate<'a> + ContainedDirectedHyperedge<'a>, H::Node: Type, H::Edge: DirectedHyperedge,

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