catlog::one::graph

Trait ColumnarGraph

Source 
pub trait ColumnarGraph {
    type V: Eq + Clone;
    type E: Eq + Clone;
    type Vertices: Set<Elem = Self::V>;
    type Edges: Set<Elem = Self::E>;
    type Src: MutMapping<Dom = Self::E, Cod = Self::V>;
    type Tgt: MutMapping<Dom = Self::E, Cod = Self::V>;

    // Required methods
    fn vertex_set(&self) -> &Self::Vertices;
    fn edge_set(&self) -> &Self::Edges;
    fn src_map(&self) -> &Self::Src;
    fn tgt_map(&self) -> &Self::Tgt;

    // Provided methods
    fn get_src(&self, e: &Self::E) -> Option<&Self::V> { ... }
    fn get_tgt(&self, e: &Self::E) -> Option<&Self::V> { ... }
}
Expand description

A graph backed by sets and mappings.

Such a graph is defined in copresheaf style by two sets and two mappings. Implementing this trait provides a blanket implementation of Graph. This is the easiest way to define a new graph type.

This trait does not assume that the graph is mutable; for that, you must also implement the trait MutColumnarGraph.

Required Associated Types§

Source

type V: Eq + Clone

Type of vertices in the graph.

Source

type E: Eq + Clone

Type of edges in the graph.

Source

type Vertices: Set<Elem = Self::V>

The set of vertices.

Source

type Edges: Set<Elem = Self::E>

The set of edges.

Source

type Src: MutMapping<Dom = Self::E, Cod = Self::V>

The map assigning each edge its source vertex.

Source

type Tgt: MutMapping<Dom = Self::E, Cod = Self::V>

The map assigning each edge its target vertex.

Required Methods§

Source

fn vertex_set(&self) -> &Self::Vertices

Gets the set of vertices.

Source

fn edge_set(&self) -> &Self::Edges

Gets the set of edges.

Source

fn src_map(&self) -> &Self::Src

Gets the mapping assigning a source vertex to each edge.

Source

fn tgt_map(&self) -> &Self::Tgt

Gets the mapping assignment a target vertex to each edge.

Provided Methods§

Source

fn get_src(&self, e: &Self::E) -> Option<&Self::V>

Gets the source of an edge, possibly undefined.

Source

fn get_tgt(&self, e: &Self::E) -> Option<&Self::V>

Gets the target of an edge, possibly undefined.

Implementors§