Loading...

Searching...

No Matches

invariant_utils.cpp File Reference

Invariant helper utilities. More...

#include "invariant_utils.h"
#include "irep.h"

+ Include dependency graph for invariant_utils.cpp:

Functions

Produces a plain string error description from an irep and some explanatory text.

Detailed Description

Invariant helper utilities.

Definition in file invariant_utils.cpp.

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.

If problem_node is nil, returns description.

Parameters: problem_node irep to pretty-print

description descriptive text to prepend

Definition at line 16 of file invariant_utils.cpp.