open_hypergraphs::layer

Function operation_adjacency

Source 
pub fn operation_adjacency<K: ArrayKind, O, A>(
    f: &OpenHypergraph<K, O, A>,
) -> IndexedCoproduct<K, FiniteFunction<K>>
where
    K::Type<K::I>: NaturalArray<K>,
Expand description

Return the adjacency map for an OpenHypergraph f.

If X is the finite set of operations in f, then operation_adjacency(f) computes the indexed coproduct adjacency : X → X*, where the list adjacency(x) is all operations reachable in a single step from operation x.