20 if(!
gf_entry.second.body_available())
23 goto_functionst::function_mapt::const_iterator
f_it =
26 !
f_it->second.body_available())
42 if(!class_name.
empty())
80 if(!
gf_entry.second.body_available())
85 goto_functionst::function_mapt::const_iterator
f_it =
88 !
f_it->second.body_available())
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
std::set< irep_idt > modified_functions
const goto_modelt & goto_model1
std::set< irep_idt > new_functions
unsigned total_functions_count
std::set< irep_idt > deleted_functions
const goto_modelt & goto_model2
function_mapt function_map
symbol_tablet symbol_table
Symbol table.
goto_functionst goto_functions
GOTO functions.
const symbolt * lookup(const irep_idt &name) const
Find a symbol in the symbol table for read-only access.
virtual bool operator()()
#define CHECK_RETURN(CONDITION)
const class_typet & to_class_type(const typet &type)
Cast a typet to a class_typet.