OTAWA  2.0
Framework to perform machine analysis and compute WCET.
rtti.cpp File Reference
#include <elm/rtti/Class.h>
#include <elm/rtti/type_of.h>
#include <otawa/prop.h>
#include <otawa/program.h>

Namespaces

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