22 #ifndef OTAWA_CAT_CATCONSTRAINTBUILDER_H
23 #define OTAWA_CAT_CATCONSTRAINTBUILDER_H
26 #include <elm/assert.h>
55 #endif //OTAWA_CAT_CATCONSTRAINTBUILDER_H_
virtual void processWorkSpace(WorkSpace *fw)
Process the given framework.
Definition: cat_CATConstraintBuilder.cpp:271
Class to declare simple a processor.
Definition: Registration.h:213
This processor uses categories assigned to L-block of the instruction cache to add contraints and to ...
Definition: CATConstraintBuilder.h:39
The processor class is implemented by all code processor.
Definition: Processor.h:49
CATConstraintBuilder(p::declare &r=reg)
Build a builder of constraints based on instruction cache access categories.
Definition: cat_CATConstraintBuilder.cpp:108
A workspace represents a program, its run-time and all information about WCET computation or any othe...
Definition: WorkSpace.h:67
virtual void configure(const PropList &props)
This method may be called for configuring a processor thanks to information passed in the property li...
Definition: cat_CATConstraintBuilder.cpp:327
This class represents the list of l-blocks of a task for a chosen cache row.
Definition: LBlockSet.h:38
void processLBlockSet(WorkSpace *fw, LBlockSet *lbset)
Definition: cat_CATConstraintBuilder.cpp:114
static p::declare reg
Definition: CATConstraintBuilder.h:41
Definition: ContextTree.h:37
void buildLBLOCKSET(LBlockSet *lcache, ContextTree *root)
Annotate all the loop headers with the set of the l-blocks contained in the loop. ...
Definition: cat_CATConstraintBuilder.cpp:292
This a list of properties.
Definition: PropList.h:63
bool _explicit
Definition: CATConstraintBuilder.h:47