dlvhex  2.5.0
graphviz Namespace Reference

Functions

void escape (std::ostream &o, const std::string &s)
 Writes s to o end escapes special symbols.

Function Documentation

void graphviz::escape ( std::ostream &  o,
const std::string &  s 
)

Writes s to o end escapes special symbols.

Parameters:
oOutput stream.
sString.

Definition at line 46 of file GraphvizHelpers.cpp.

Referenced by DependencyGraph::writeGraphViz(), EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::writeGraphViz(), and LiberalSafetyChecker::writeGraphViz().