CBMC: Member List

add(const irep_idt &caller, const irep_idt &callee) call_grapht

add(const irep_idt &caller, const irep_idt &callee, locationt callsite) call_grapht

add(const irep_idt &function, const goto_programt &body) call_grapht protected

call_grapht(bool collect_callsites=false) call_grapht explicit

call_grapht(const goto_modelt &, bool collect_callsites=false) call_grapht explicit

call_grapht(const goto_functionst &, bool collect_callsites=false) call_grapht explicit

call_grapht(const goto_modelt &model, const irep_idt &root, bool collect_callsites) call_grapht private

call_grapht(const goto_functionst &functions, const irep_idt &root, bool collect_callsites) call_grapht private

callsites call_grapht

callsitest typedef call_grapht

collect_callsites call_grapht private

create_from_root_function(const goto_modelt &model, const irep_idt &root, bool collect_callsites) call_grapht inlinestatic

create_from_root_function(const goto_functionst &functions, const irep_idt &root, bool collect_callsites) call_grapht inlinestatic

edges call_grapht

edgest typedef call_grapht

edget typedef call_grapht

format_callsites(const edget &edge) const call_grapht private

get_directed_graph() const call_grapht

get_inverted() const call_grapht

locationst typedef call_grapht

locationt typedef call_grapht

nodes call_grapht

nodest typedef call_grapht

output(std::ostream &out) const call_grapht

output_dot(std::ostream &out) const call_grapht

output_xml(std::ostream &out) const call_grapht