OTAWA
2.0
Framework to perform machine analysis and compute WCET.
|
#include <elm/string.h>
#include <otawa/proc/AbstractFeature.h>
#include <otawa/prop/info.h>
#include <otawa/prog/WorkSpace.h>
Go to the source code of this file.
Classes | |
struct | otawa::default_handler_t |
class | otawa::Feature< T, C > |
Namespaces | |
otawa | |
Development Note Letting the ToDo / ToDoList class visible in the header is clumsy. | |
Typedefs | |
typedef struct otawa::default_handler_t | otawa::default_handler_t |
Functions | |
Property * | otawa::defBy (const AbstractFeature *feature) |
Variables | |
Identifier< const AbstractFeature * > | otawa::DEF_BY |
Identifier for identifier property providing ownerness of an identifier. More... | |