5.15.3. stats.hpp¶
Full path: graph_canon/visitor/stats.hpp
-
class
stats_visitor¶ A visitor for counting stats and extracting visualizations.
-
class
result_t¶ The tag type used for returning data.
-
class
ResultData¶ The results returned.
Todo
document all members.
-
friend std::ostream &
operator<<(std::ostream &s, const ResultData &d)¶
-
friend std::ostream &
-
stats_visitor(std::ostream *tree_dump = nullptr)¶ - Parameters
tree_dump – print a Grahpviz depiction of the search tree to this stream.
-
class