assert-graph-iso 0.1.0

Test utility for checking if two graphs are isomorphic.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45

use std::{
    fmt::{Debug, Display},
    hash::Hash,
};

pub type NodesIterator<'a, T> = Box<dyn Iterator<Item = T> + 'a>;
pub type LabelIterator<'a, T> = Box<dyn Iterator<Item = T> + 'a>;
pub type PropertyIterator<'a, K, V> = Box<dyn Iterator<Item = (K, V)> + 'a>;

pub trait Graph {
    type NodeId: Debug + Hash + Eq + ?Sized;

    type NodeLabel: Display + ?Sized;

    type RelationshipType: Display + ?Sized;

    type PropertyKey: Display + ?Sized;

    type PropertyValue: Display + ?Sized;

    fn nodes(&self) -> NodesIterator<&Self::NodeId>;

    fn node_labels(&self, node_id: &Self::NodeId) -> LabelIterator<&Self::NodeLabel>;

    fn node_properties(
        &self,
        node_id: &Self::NodeId,
    ) -> PropertyIterator<&Self::PropertyKey, &Self::PropertyValue>;

    fn outgoing_relationships<'a, 'b: 'a>(
        &'a self,
        node_id: &'b Self::NodeId,
    ) -> PropertyIterator<
        (&'a Self::NodeId, &'a Self::RelationshipType),
        PropertyIterator<&'a Self::PropertyKey, &'a Self::PropertyValue>,
    >;

    fn incoming_relationships<'a, 'b: 'a>(
        &'a self,
        node_id: &'b Self::NodeId,
    ) -> PropertyIterator<
        (&'a Self::NodeId, &'a Self::RelationshipType),
        PropertyIterator<&'a Self::PropertyKey, &'a Self::PropertyValue>,
    >;
}