22 #ifndef OTAWA_IPET_WCET_COMPUTATION_H
23 #define OTAWA_IPET_WCET_COMPUTATION_H
28 namespace otawa {
namespace ipet {
46 #endif // OTAWA_IPET_WCET_COMPUTATION_H
ilp::System * system
Definition: WCETComputation.h:41
Class to declare simple a processor.
Definition: Registration.h:213
WorkSpace * ws
Definition: Processor.h:185
static p::declare reg
Definition: WCETComputation.h:34
WCETComputation(void)
Build a new WCET computer.
Definition: ipet_WCETComputation.cpp:107
The processor class is implemented by all code processor.
Definition: Processor.h:49
virtual void collectStats(WorkSpace *ws)
This method is invoked if the user has required to collect statistics about the processor.
Definition: ipet_WCETComputation.cpp:140
A workspace represents a program, its run-time and all information about WCET computation or any othe...
Definition: WorkSpace.h:67
An ILP system is a colletion of ILP constraint that may maximize or minimize some object function...
Definition: System.h:42
virtual void processWorkSpace(WorkSpace *fw)
Process the given framework.
Definition: ipet_WCETComputation.cpp:113
This class is used for computing the WCET from the system found in the root CFG.
Definition: WCETComputation.h:31