goto_cfg Class Reference

An implementation of a control flow graph for goto programs. More...

#include <goto_cfg.h>

Classes
struct	basic_block
	A basic block is a sequence of instructions that has no branches in it. More...

Public Member Functions
	goto_cfg (goto_functionst &goto_functions)
void	dump_graph () const
	Generates a dot file containing the CFG.

Public Attributes
std::unordered_map< std::string, std::vector< std::shared_ptr< basic_block > > >	basic_blocks

Detailed Description

An implementation of a control flow graph for goto programs.

This class manipulates and transform a goto program by using a CFG abstraction.

Constructor & Destructor Documentation

goto_cfg()

goto_cfg::goto_cfg

(

goto_functionst &

goto_functions

)

Member Function Documentation

dump_graph()

void goto_cfg::dump_graph

(

)

const

Generates a dot file containing the CFG.

Parameters

filename

output file name

Member Data Documentation

basic_blocks

std::unordered_map<std::string, std::vector<std::shared_ptr<basic_block> > > goto_cfg::basic_blocks

---

The documentation for this class was generated from the following files:

• src/goto-programs/goto_cfg.h
• src/goto-programs/goto_cfg.cpp