21 #ifndef OTAWA_DCACHE_CATCONSTRAINTBUILDER_H_
22 #define OTAWA_DCACHE_CATCONSTRAINTBUILDER_H_
30 namespace ilp {
class Var; }
static p::declare reg
Definition: CatConstraintBuilder.h:36
virtual void processWorkSpace(otawa::WorkSpace *ws)
Process the given framework.
Definition: dcache_CatConstraintBuilder.cpp:212
Class to declare simple a processor.
Definition: Registration.h:213
virtual void configure(const PropList &props)
This method may be called for configuring a processor thanks to information passed in the property li...
Definition: dcache_CatConstraintBuilder.cpp:204
This processor allocates the variable to count misses of a data cache and makes the constraints for t...
Definition: CatConstraintBuilder.h:34
WorkSpace * ws
Definition: Processor.h:185
The processor class is implemented by all code processor.
Definition: Processor.h:49
bool _explicit
Definition: CatConstraintBuilder.h:43
A workspace represents a program, its run-time and all information about WCET computation or any othe...
Definition: WorkSpace.h:67
This a list of properties.
Definition: PropList.h:63
void collectStats(WorkSpace *ws)
This method is invoked if the user has required to collect statistics about the processor.
Definition: dcache_CatConstraintBuilder.cpp:318
CatConstraintBuilder(p::declare &r=reg)
Definition: dcache_CatConstraintBuilder.cpp:198