23 #ifndef OTAWA_CACHE_ACSBUILDER_H_
24 #define OTAWA_CACHE_ACSBUILDER_H_
30 #include <elm/genstruct/Vector.h>
43 virtual void configure(
const PropList &props);
This processor builds the MUST and PERS cache states before each basic block.
Definition: ACSBuilder.h:38
Class to declare simple a processor.
Definition: Registration.h:213
fmlevel_t level
Definition: ACSBuilder.h:47
The processor class is implemented by all code processor.
Definition: Processor.h:49
A workspace represents a program, its run-time and all information about WCET computation or any othe...
Definition: WorkSpace.h:67
This class contains the configuration of a level of cache of processor.
Definition: Cache.h:34
bool unrolling
Definition: ACSBuilder.h:48
This class represents the list of l-blocks of a task for a chosen cache row.
Definition: LBlockSet.h:38
This a list of properties.
Definition: PropList.h:63
genstruct::Vector< MUSTProblem::Domain * > * must_entry
Definition: ACSBuilder.h:49
enum otawa::fmlevel fmlevel_t
static p::declare reg
Definition: ACSBuilder.h:40