22 #ifndef OTAWA_CACHE_ACSMAYBUILDER_H_
23 #define OTAWA_CACHE_ACSMAYBUILDER_H_
29 #include <elm/genstruct/Vector.h>
41 virtual void configure(
const PropList &props);
Class to declare simple a processor.
Definition: Registration.h:213
static p::declare reg
Definition: ACSMayBuilder.h:38
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
This class represents the list of l-blocks of a task for a chosen cache row.
Definition: LBlockSet.h:38
genstruct::Vector< MAYProblem::Domain * > * may_entry
Definition: ACSMayBuilder.h:46
This a list of properties.
Definition: PropList.h:63
This processor produces the Abstract Cache States (ACS), for the MAY ACS.
Definition: ACSMayBuilder.h:36
bool unrolling
Definition: ACSMayBuilder.h:45