bool add_needed_class(const irep_idt &)
Notes class class_symbol_name will be instantiated, or a static field belonging to it will be accesse...
void add_needed_method(const irep_idt &)
Notes method_symbol_name is referenced from some reachable function, and should therefore be elaborat...
const std::string & id2string(const irep_idt &d)
symbol_tablet & symbol_table
std::vector< irep_idt > & needed_methods
Context-insensitive lazy methods container.
std::set< irep_idt > & needed_classes