dlvhex
2.5.0
|
Functions | |
void | escape (std::ostream &o, const std::string &s) |
Writes s to o end escapes special symbols. |
void graphviz::escape | ( | std::ostream & | o, |
const std::string & | s | ||
) |
Writes s
to o
end escapes special symbols.
o | Output stream. |
s | String. |
Definition at line 46 of file GraphvizHelpers.cpp.
Referenced by DependencyGraph::writeGraphViz(), EvalGraph< EvalUnitPropertyBaseT, EvalUnitDepPropertyBaseT >::writeGraphViz(), and LiberalSafetyChecker::writeGraphViz().