22 #ifndef OTAWA_IPET_ILP_SYSTEM_GETTER
23 #define OTAWA_IPET_ILP_SYSTEM_GETTER
50 #endif // OTAWA_IPET_ILP_SYSTEM_GETTER
This processor looks for an ILP plugin and build a new system that will be used by other IPET process...
Definition: ILPSystemGetter.h:39
virtual void configure(const PropList &props)
This method may be called for configuring a processor thanks to information passed in the property li...
Definition: ipet_ILPSystemGetter.cpp:72
WorkSpace * ws
Definition: Processor.h:185
string plugin_name
Definition: ILPSystemGetter.h:43
The processor class is implemented by all code processor.
Definition: Processor.h:49
A workspace represents a program, its run-time and all information about WCET computation or any othe...
Definition: WorkSpace.h:67
virtual void processWorkSpace(WorkSpace *ws)
Process the given framework.
Definition: ipet_ILPSystemGetter.cpp:56
ILPSystemGetter(void)
Build the processor.
Definition: ipet_ILPSystemGetter.cpp:48
This a list of properties.
Definition: PropList.h:63