7 #ifndef OTAWA_SIM_TRIVIALSIMULATOR_H
8 #define OTAWA_SIM_TRIVIALSIMULATOR_H
12 namespace otawa {
namespace sim {
static const PropList EMPTY
This is an empty proplist for convenience.
Definition: PropList.h:66
This class represents a plugin to use facilities provided by a simulator.
Definition: Simulator.h:36
The trivial simulator is a simplistic simulator with a fixed execution time for each instruction (def...
Definition: TrivialSimulator.h:19
virtual State * instantiate(WorkSpace *fw, const PropList &props=PropList::EMPTY)
This method instantiate a new simulator using the given framework.
Definition: sim_TrivialSimulator.cpp:100
A workspace represents a program, its run-time and all information about WCET computation or any othe...
Definition: WorkSpace.h:67
Identifier< int > INSTRUCTION_TIME
Instruction execution time.
This a list of properties.
Definition: PropList.h:63
This class represents a running simulator.
Definition: State.h:38
TrivialSimulator(void)
Build a trivial simulator.
Definition: sim_TrivialSimulator.cpp:93