21 if(!
gf_entry.second.body_available())
24 goto_functionst::function_mapt::const_iterator
f_it =
28 !
f_it->second.body_available())
82 if(!
gf_entry.second.body_available())
87 goto_functionst::function_mapt::const_iterator
f_it =
91 !
f_it->second.body_available())
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
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.
virtual bool operator()()
const symbolt * lookup(const irep_idt &name) const
Find a symbol in the symbol table for read-only access.
Syntactic GOTO-DIFF for Java.
optionalt< irep_idt > declaring_class(const symbolt &symbol)
Gets the identifier of the class which declared a given symbol.
#define CHECK_RETURN(CONDITION)
const class_typet & to_class_type(const typet &type)
Cast a typet to a class_typet.