21 #ifndef OTAWA_CCG_CCGCONSTRAINTBUILDER_H
22 #define OTAWA_CCG_CCGCONSTRAINTBUILDER_H
24 #include <elm/assert.h>
62 #endif // OTAWA_CCG_CCGCONSTRAINTBUILDER_H
void addConstraintHeader(ilp::System *system, LBlockSet *graph, ContextTree *ct, LBlock *boc)
Definition: ccg_ConstraintBuilder.cpp:386
static const PropList EMPTY
This is an empty proplist for convenience.
Definition: PropList.h:66
Class to declare simple a processor.
Definition: Registration.h:213
bool _explicit
Definition: ConstraintBuilder.h:54
ConstraintBuilder(p::declare &r=reg)
Constructor.
Definition: ccg_ConstraintBuilder.cpp:117
static p::declare reg
Definition: ConstraintBuilder.h:48
This processor allows handling timing effects of the instruction cache in the IPET approach...
Definition: ConstraintBuilder.h:46
The processor class is implemented by all code processor.
Definition: Processor.h:49
The l-block is an abstraction allowing to split the basic block according to the bound of the cache b...
Definition: features.h:44
A workspace represents a program, its run-time and all information about WCET computation or any othe...
Definition: WorkSpace.h:67
void processLBlockSet(WorkSpace *fw, LBlockSet *lbset)
Definition: ccg_ConstraintBuilder.cpp:131
Definition: ContextTree.h:37
This class represents the list of l-blocks of a task for a chosen cache row.
Definition: features.h:75
This a list of properties.
Definition: PropList.h:63
An ILP system is a colletion of ILP constraint that may maximize or minimize some object function...
Definition: System.h:42
virtual void processWorkSpace(WorkSpace *fw)
Process the given framework.
Definition: ccg_ConstraintBuilder.cpp:374
virtual void configure(const PropList &props=PropList::EMPTY)
This method may be called for configuring a processor thanks to information passed in the property li...
Definition: ccg_ConstraintBuilder.cpp:123