22 #ifndef OTAWA_CACHE_CAT2CONSTRAINTBUILDER_H_
23 #define OTAWA_CACHE_CAT2CONSTRAINTBUILDER_H_
CAT2OnlyConstraintBuilder(p::declare &r=reg)
Definition: cache_CAT2ConstraintBuilder.cpp:239
virtual void collectStats(WorkSpace *ws)
This method is invoked if the user has required to collect statistics about the processor.
Definition: cache_CAT2ConstraintBuilder.cpp:252
static p::declare reg
Definition: CAT2ConstraintBuilder.h:32
virtual void configure(const PropList &props)
This method may be called for configuring a processor thanks to information passed in the property li...
Definition: cache_CAT2ConstraintBuilder.cpp:244
Class to declare simple a processor.
Definition: Registration.h:213
WorkSpace * ws
Definition: Processor.h:185
The processor class is implemented by all code processor.
Definition: Processor.h:49
virtual void processWorkSpace(otawa::WorkSpace *)
Process the given framework.
Definition: cache_CAT2ConstraintBuilder.cpp:421
A workspace represents a program, its run-time and all information about WCET computation or any othe...
Definition: WorkSpace.h:67
This processor produces constraints, using the categorization of the L-Blocks, as provided by CAT2Onl...
Definition: CAT2ConstraintBuilder.h:42
static p::declare reg
Definition: CAT2ConstraintBuilder.h:44
This a list of properties.
Definition: PropList.h:63
Build the constraints to support categories of cat2 module.
Definition: CAT2ConstraintBuilder.h:30
bool _explicit
Definition: CAT2ConstraintBuilder.h:38
CAT2ConstraintBuilder(p::declare &r=reg)
Definition: cache_CAT2ConstraintBuilder.cpp:415
virtual void processWorkSpace(otawa::WorkSpace *)
Process the given framework.
Definition: cache_CAT2ConstraintBuilder.cpp:261