string_refinement_invariant.h File Reference

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Macros
#define	string_refinement_invariantt(reason)

Macro Definition Documentation

string_refinement_invariantt

#define string_refinement_invariantt

(

reason

)

Value:

  (("string_refinement_invariantt(" + std::string(reason) + ")").c_str())

Definition at line 12 of file string_refinement_invariant.h.