23 #ifndef OTAWA_STATS_STATINFO_H_
24 #define OTAWA_STATS_STATINFO_H_
27 #include <elm/genstruct/Vector.h>
32 using namespace elm::genstruct;
Aggregator of statistics put on the workspace.
Definition: StatInfo.h:35
Definition: StatInfo.h:42
Vector< StatCollector * > stats
Definition: StatInfo.h:49
A statistics collector allows to access statistics produced by an analysis.
Definition: StatCollector.h:30
A workspace represents a program, its run-time and all information about WCET computation or any othe...
Definition: WorkSpace.h:67
inst add(int d, int a, int b)
Definition: inst.h:163
static Identifier< StatInfo * > ID
Identifier of statistics information.
Definition: StatInfo.h:37
This class represents identifier with a typed associated value.
Definition: Identifier.h:51