|
OTAWA
2.0
Framework to perform machine analysis and compute WCET.
|
Go to the documentation of this file.
22 #ifndef OTAWA_IPET_ILP_SYSTEM_GETTER
23 #define OTAWA_IPET_ILP_SYSTEM_GETTER
54 #endif // OTAWA_IPET_ILP_SYSTEM_GETTER
void destroy(WorkSpace *ws) override
This method is called when the properties produced by a processor are no more useful and can be relea...
Definition: ipet_ILPSystemGetter.cpp:89
Definition: WorkSpace.h:71
WorkSpace * ws
Definition: Processor.h:189
Definition: ILPSystemGetter.h:39
Definition: Processor.h:50
string plugin_name
Definition: ILPSystemGetter.h:44
void configure(const PropList &props) override
This method may be called for configuring a processor thanks to information passed in the property li...
Definition: ipet_ILPSystemGetter.cpp:81
static p::declare reg
Definition: ILPSystemGetter.h:41
ILPSystemGetter(void)
Build the processor.
Definition: ipet_ILPSystemGetter.cpp:55
bool max
Definition: ILPSystemGetter.h:49
Definition: Registration.h:188
void processWorkSpace(WorkSpace *ws) override
Process the given framework.
Definition: ipet_ILPSystemGetter.cpp:61
Definition: PropList.h:67
Development Note Letting the ToDo / ToDoList class visible in the header is clumsy.
Definition: ArrayStore.h:25