diagnostics::state_graphs Namespace Reference

Functions
std::unique_ptr< dot::graph >	make_dot_graph (const diagnostics::digraphs::digraph &state_graph, const logical_locations::manager &logical_loc_mgr)

Function Documentation

make_dot_graph()

std::unique_ptr< dot::graph > diagnostics::state_graphs::make_dot_graph ( const diagnostics::digraphs::digraph & state_graph, const logical_locations::manager & logical_loc_mgr )

extern

Referenced by diagnostics::html_builder::maybe_make_state_diagram().