15 const irept &problem_node,
16 const std::string &description)
22 std::string ret=description;
23 ret+=
"\nProblem irep:\n";
24 ret+=problem_node.
pretty(0,0);
std::string pretty_print_invariant_with_irep(const irept &problem_node, const std::string &description)
Produces a plain string error description from an irep and some explanatory text. ...
std::string pretty(unsigned indent=0, unsigned max_indent=0) const
Base class for tree-like data structures with sharing.