22 #ifndef OTAWA_CFG_CHECKSUMMER_H_
23 #define OTAWA_CFG_CHECKSUMMER_H_
CFG * cfg(void) const
Get the current CFG.
Definition: CFGProcessor.h:56
WorkSpace * ws
Definition: Processor.h:185
Control Flow Graph representation.
Definition: CFG.h:42
CFGCheckSummer(void)
Build a new check summer.
Definition: cfg_CFGCheckSummer.cpp:53
A workspace represents a program, its run-time and all information about WCET computation or any othe...
Definition: WorkSpace.h:67
This is a specialization of the processor class dedicated to CFG processing.
Definition: CFGProcessor.h:35
Add to each involved CFG a checksum build on the instruction of the CFG.
Definition: CFGCheckSummer.h:31
virtual void processCFG(WorkSpace *ws, CFG *cfg)
Definition: cfg_CFGCheckSummer.cpp:60