PFG.h File Reference

#include <elm/genstruct/HashTable.h>
#include <otawa/prop/Identifier.h>
#include <otawa/prog/Inst.h>
#include <otawa/graph/GenGraph.h>

Go to the source code of this file.

Classes
class	otawa::pfg::BB
	A basic block in a otawa::pfg::PFG . More...
class	otawa::pfg::BB::InstIter
	Iterator on the instructions of a basic block. More...
class	otawa::pfg::Edge
	This class represents the control transfer between basic block (BB). More...
class	otawa::pfg::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...

Namespaces
	otawa
	$Id$ Copyright (c) 2007, IRIT - UPS casse.nosp@m.@iri.nosp@m.t.fr
	otawa::pfg

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