19void dot(std::ostream &out, 
const Graph &graph, Writer writer) {
 
   20    static_assert(std::is_base_of_v<directed_tag, typename Graph::graph_category>, 
"Invalid graph category");
 
   22    if constexpr(std::is_same_v<typename Graph::graph_category, undirected_tag>) {
 
   28    for(
auto &&vertex: graph.vertices()) {
 
   34    for(
auto [lhs, rhs]: graph.edges()) {
 
   35        if constexpr(std::is_same_v<typename Graph::graph_category, undirected_tag>) {
 
   36            out << lhs << 
"--" << rhs << 
";";
 
   38            out << lhs << 
"->" << rhs << 
";";
 
 
void dot(std::ostream &out, const Graph &graph, Writer writer)
Outputs a graph in dot format.