23 #ifndef CACHE_EDGECAT2CONSTRAINTBUILDER_H_
24 #define CACHE_EDGECAT2CONSTRAINTBUILDER_H_
bool _explicit
Definition: EdgeCAT2ConstraintBuilder.h:32
virtual void processWorkSpace(otawa::WorkSpace *)
Process the given framework.
Definition: cache_EdgeCAT2ConstraintBuilder.cpp:100
EdgeCAT2ConstraintBuilder(void)
Definition: cache_EdgeCAT2ConstraintBuilder.cpp:82
The processor class is implemented by all code processor.
Definition: Processor.h:49
virtual void setup(otawa::WorkSpace *)
This method is called before an anlysis to let the processor do some initialization.
Definition: cache_EdgeCAT2ConstraintBuilder.cpp:96
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: cache_EdgeCAT2ConstraintBuilder.cpp:91
This a list of properties.
Definition: PropList.h:63
This processor produces constraints, using the categorization of the lblocks.
Definition: EdgeCAT2ConstraintBuilder.h:31