dlvhex
2.5.0
|
Helper for printing a single EvalUnit in dot format. More...
#include <include/dlvhex2/EvalGraph.h>
Static Public Member Functions | |
static std::string | graphviz_node_id (EvalUnit u) |
Returns a string representation of a single EvalUnit. |
Helper for printing a single EvalUnit in dot format.
Definition at line 349 of file EvalGraph.h.
static std::string EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::Impl::graphviz_node_id | ( | EvalUnit | u | ) | [inline, static] |
Returns a string representation of a single EvalUnit.
u | EvalUnit to represent. |
u
. Definition at line 354 of file EvalGraph.h.