OTAWA
2.0
Framework to perform machine analysis and compute WCET.
|
#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) |