otawa::pfg Namespace Reference

Classes
class	BB
	A basic block in a otawa::pfg::PFG . More...
class	Edge
	This class represents the control transfer between basic block (BB). More...
class	PFG
	A PFG (Program Flow Graph) is built from the binary form of the program to represent all possible pathes of the program from its entry point. More...

Typedefs
typedef otawa::GenGraph< BB, Edge >	graph_t

Typedef Documentation

typedef otawa::GenGraph<BB, Edge> otawa::pfg::graph_t