24 #ifndef CACHE_FIRSTLASTBUILDER_H_
25 #define CACHE_FIRSTLASTBUILDER_H_
Feature< FirstLastBuilder > ICACHE_FIRSTLAST_FEATURE
This feature represents the availability of the LAST_LBLOCK and LBLOCK_ISFIRST properties.
Identifier< bool > LBLOCK_ISFIRST
This property tells if the lblock is the first of its BasicBlock (for its cache line) This informatio...
Control Flow Graph representation.
Definition: CFG.h:42
A workspace represents a program, its run-time and all information about WCET computation or any othe...
Definition: WorkSpace.h:67
Identifier< LBlock ** > LAST_LBLOCK
This property gives the ID of the last lblock of a BasicBlock, for each line.
This class contains the configuration of a level of cache of processor.
Definition: Cache.h:34
This is a specialization of the processor class dedicated to CFG processing.
Definition: CFGProcessor.h:35
This class represents the list of l-blocks of a task for a chosen cache row.
Definition: LBlockSet.h:38
Definition: FirstLastBuilder.h:43
A feature is a set of facilities, usually provided using properties, available on a framework...
Definition: Feature.h:46