14 #ifndef CPROVER_GOTO_PROGRAMS_CLASS_HIERARCHY_H 15 #define CPROVER_GOTO_PROGRAMS_CLASS_HIERARCHY_H 25 typedef std::vector<irep_idt>
idst;
54 void output(std::ostream &)
const;
61 #endif // CPROVER_GOTO_PROGRAMS_CLASS_HIERARCHY_H
void get_children_trans_rec(const irep_idt &, idst &) const
void operator()(const symbol_tablet &)
Looks for all the struct types in the symbol table and construct a map from class names to a data str...
void get_parents_trans_rec(const irep_idt &, idst &) const
std::vector< irep_idt > idst
std::map< irep_idt, entryt > class_mapt
idst get_children_trans(const irep_idt &id) const
void output(std::ostream &) const
idst get_parents_trans(const irep_idt &id) const