Struct OpenHypergraph

pub struct OpenHypergraph<O, A> {
    pub sources: Vec<NodeId>,
    pub targets: Vec<NodeId>,
    pub hypergraph: Hypergraph<O, A>,
}

A lax OpenHypergraph is a cospan of lax hypergraphs: a hypergraph equipped with two finite maps representing the interfaces.

Fields

sources: Vec<NodeId>

targets: Vec<NodeId>

hypergraph: Hypergraph<O, A>

Implementations

impl<O, A> OpenHypergraph<O, A>

pub fn empty() -> Self

The empty OpenHypergraph with no nodes and no edges.

In categorical terms, this is the identity map at the unit object.

pub fn new_node(&mut self, w: O) -> NodeId

Create a new node in the hypergraph labeled w.

pub fn new_edge(&mut self, x: A, interface: Hyperedge) -> EdgeId

pub fn new_operation( &mut self, x: A, source_type: Vec<O>, target_type: Vec<O>, ) -> (EdgeId, Interface)

Create a new “operation” in the hypergraph. Concretely, f.new_operation(x, s, t) mutates f by adding:

1. a new hyperedge labeled x
2. len(s) new nodes, with the ith node labeled s[i]
3. len(t) new nodes, with the ith node labeled t[i]

Returns the new hyperedge ID and the NodeIds of the source/target nodes.

This is a convenience wrapper for Hypergraph::new_operation

pub fn unify(&mut self, v: NodeId, w: NodeId)

Compute an open hypergraph by calling to_hypergraph on the internal Hypergraph.

pub fn add_edge_source(&mut self, edge_id: EdgeId, w: O) -> NodeId

pub fn add_edge_target(&mut self, edge_id: EdgeId, w: O) -> NodeId

impl<O: Clone + PartialEq, A: Clone + PartialEq> OpenHypergraph<O, A>

pub fn quotient(&mut self)

Apply the quotient map to identify nodes in the internal Hypergraph. This deletes the internal quotient map, resulting in a strict OpenHypergraph.

pub fn to_open_hypergraph(self) -> OpenHypergraph<O, A>

Convert this lax OpenHypergraph to a strict crate::prelude::OpenHypergraph by quotienting.

Trait Implementations

impl<O: Clone, A: Clone> Clone for OpenHypergraph<O, A>

fn clone(&self) -> OpenHypergraph<O, A>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<O: Debug, A: Debug> Debug for OpenHypergraph<O, A>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.