Aleph::MoTreeGraph Concept Reference

Concept constraining a graph type usable for Mo on Trees. More...

#include <tpl_mo_on_trees.H>

Concept definition

template<typename GT>
concept Aleph::MoTreeGraph =  requires(const GT & g,
                                 typename GT::Node * p,
                                 typename GT::Arc * a)
    {
      typename GT::Node;
      typename GT::Arc;
      typename GT::Node::Node_Type;
      typename GT::Node_Arc_Iterator;
      { g.vsize() } -> std::convertible_to<size_t>;
      { g.get_connected_node(a, p) } -> std::same_as<typename GT::Node *>;
      { typename GT::Node_Arc_Iterator(p) };
      { g.for_each_node([](typename GT::Node *) {}) };
    }

Detailed Description

Concept constraining a graph type usable for Mo on Trees.

Requires node/arc types, a method to query the number of nodes, a method to obtain the connected node of an arc, and a node-iteration facility via for_each_node.

Template Parameters

GT	Graph type.

Definition at line 116 of file tpl_mo_on_trees.H.