22 #ifndef DISPLAY_ILPSYSTEMDISPLAYER_H_
23 #define DISPLAY_ILPSYSTEMDISPLAYER_H_
27 #include <elm/system/Path.h>
29 #include <elm/genstruct/HashTable.h>
32 namespace otawa {
namespace ilp {
38 namespace otawa {
namespace display {
43 class ILPSystemDisplayer;
46 virtual cstring title(
void)
const = 0;
55 virtual void configure(
const PropList& props);
69 virtual void processWorkSpace(
WorkSpace *ws);
static Registration< ILPSystemDisplayer > reg
Definition: ILPSystemDisplayer.h:53
Abstract class to represent the registered processors.
Definition: Registration.h:80
Definition: Registration.h:138
static Identifier< ILPSystemAddon * > ADDON
This identifier may be used by ILP system variable and constraint generator to add specific part to t...
Definition: ILPSystemDisplayer.h:61
string nameOf(CFG *cfg)
Find a name for the current CFG.
Definition: mkff.cpp:146
The processor class is implemented by all code processor.
Definition: Processor.h:49
This class is an interface for ILPSystemDisplayer to add to its output specialized information about ...
Definition: ILPSystemDisplayer.h:44
ilp::System * system
Definition: ILPSystemDisplayer.h:75
A workspace represents a program, its run-time and all information about WCET computation or any othe...
Definition: WorkSpace.h:67
Path path
Definition: ILPSystemDisplayer.h:77
elm::genstruct::HashTable< ilp::Var *, string > names
Definition: ILPSystemDisplayer.h:73
sys::SystemOutStream & out
This class is used to represent constraints in an ILP system with the following form: ...
Definition: Constraint.h:33
static Identifier< Path > PATH
Configuration identifier for ILPSystemDisplayer.
Definition: ILPSystemDisplayer.h:58
This class represents identifier with a typed associated value.
Definition: Identifier.h:51
int cnt
Definition: ILPSystemDisplayer.h:74
This a list of properties.
Definition: PropList.h:63
A variable is an identifier used for performing ILP computation.
Definition: Var.h:36
This processor may be used to generate an HTML output of an ILP system used to compute the WCET of a ...
Definition: ILPSystemDisplayer.h:51
An ILP system is a colletion of ILP constraint that may maximize or minimize some object function...
Definition: System.h:42
io::Output cout
Definition: ILPSystemDisplayer.h:76