Graph

#include<hysj/graphs/graph.hpp>

In namespace graphs:

template<typename G, element_tag T>
concept element_graph

A type G is a T-element graph when:

Let

G g

traits::element_id<G, T> i

Requires

elements<G, T> graphs::degree(constant_t<T>{}, g, i)