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