Graph
=====

:cpp:include:`#include<hysj/graphs/graph.hpp>`

.. cpp:namespace:: hysj::graphs

In namespace :cpp:any:`graphs`:

.. cpp:concept:: template<typename G,element_tag T> element_graph

   | A type :cpp:type:`G` is a :cpp:expr:`T`-element graph when:

   *Let*
    .. cpp:var:: G g
    .. cpp:var:: traits::element_id<G,T> i
		
   *Requires*
     :cpp:expr:`elements<G,T>`
     :cpp:expr:`graphs::degree(constant_t<T>{},g,i)`