OTAWA  2.0
Framework to perform machine analysis and compute WCET.
CFG.cpp File Reference
#include <elm/array.h>
#include <otawa/cfg/CFG.h>
#include <otawa/cfg/features.h>
#include <otawa/flowfact/features.h>
#include <otawa/prog/File.h>

Namespaces

 otawa
 Development Note Letting the ToDo / ToDoList class visible in the header is clumsy.
 

Functions

io::Output & otawa::operator<< (io::Output &out, Block *block)
 
io::Output & otawa::operator<< (io::Output &out, CFG *cfg)
 Address CFG::address(void); Get the address of the first instruction of the CFG. More...
 
io::Output & otawa::operator<< (io::Output &out, Edge *edge)