Go to the documentation of this file.
37 if(!it->second.is_inlined() ||
44 if(!i_it->is_assert())
Class that provides messages with a built-in verbosity 'level'.
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
const irep_idt & get_property_id() const
property_mapt property_map
goto_programt::const_targett location
mstreamt & result() const
void initialize_property_map(const goto_functionst &)
A collection of goto functions.
static std::string as_string(resultt)
A generic container class for the GOTO intermediate representation of one function.
#define forall_goto_functions(it, functions)
static irep_idt entry_point()
Get the identifier of the entry point to a goto model.
#define forall_goto_program_instructions(it, program)