PandA-2024.02
|
Functor used by boost::write_graphviz to write the node info. More...
#include <clique_covering.hpp>
Public Member Functions | |
compatibility_node_info_writer (const CustomUnorderedMap< C_vertex, std::string > &_names) | |
Constructor. More... | |
void | operator() (std::ostream &out, const C_vertex &v) const |
Functor used to print a node. More... | |
Private Attributes | |
const CustomUnorderedMap< C_vertex, std::string > & | names |
names of the vertices More... | |
Functor used by boost::write_graphviz to write the node info.
Definition at line 284 of file clique_covering.hpp.
|
inlineexplicit |
Constructor.
Definition at line 292 of file clique_covering.hpp.
|
inline |
Functor used to print a node.
Definition at line 297 of file clique_covering.hpp.
|
private |
names of the vertices
Definition at line 288 of file clique_covering.hpp.