12 #ifndef CPROVER_ANALYSES_CALL_GRAPH_H 13 #define CPROVER_ANALYSES_CALL_GRAPH_H 27 void output(std::ostream &out)
const;
30 typedef std::multimap<irep_idt, irep_idt>
grapht;
40 #endif // CPROVER_ANALYSES_CALL_GRAPH_H void add(const irep_idt &caller, const irep_idt &callee)
Goto Programs with Functions.
std::multimap< irep_idt, irep_idt > grapht
void output_xml(std::ostream &out) const
void output_dot(std::ostream &out) const
void output(std::ostream &out) const
A specialization of goto_program_templatet over goto programs in which instructions have codet type...