22 #ifndef OTAWA_IPET_BASIC_CONSTRAINTS_BUILDER_H
23 #define OTAWA_IPET_BASIC_CONSTRAINTS_BUILDER_H
25 #include <elm/assert.h>
57 #endif // OTAWA_IPET_BASIC_CONSTRAINTS_BUILDER_H
virtual void configure(const PropList &props)
Configure the current processor.
Definition: ipet_BasicConstraintsBuilder.cpp:223
This processor is dedicated to the basic block process thru proccessBB() method.
Definition: BBProcessor.h:72
CFG * cfg(void) const
Get the current CFG.
Definition: CFGProcessor.h:56
BasicConstraintsBuilder(void)
Build basic constraint builder processor.
Definition: ipet_BasicConstraintsBuilder.cpp:215
virtual void processBB(WorkSpace *fw, CFG *cfg, BasicBlock *bb)
Perform the work of the given basic block.
Definition: ipet_BasicConstraintsBuilder.cpp:128
bool _explicit
Definition: BasicConstraintsBuilder.h:51
dtd::Element bb(dtd::make("bb", _BB).attr(id).attr(address).attr(size))
Control Flow Graph representation.
Definition: CFG.h:42
virtual void processWorkSpace(WorkSpace *fw)
Process the given framework.
Definition: ipet_BasicConstraintsBuilder.cpp:193
A workspace represents a program, its run-time and all information about WCET computation or any othe...
Definition: WorkSpace.h:67
void addEntryConstraint(ilp::System *system, CFG *caller, BasicBlock *bb, CFG *callee, ilp::Var *var)
Add the given variable to the entry constraint of the given CFG.
Definition: ipet_BasicConstraintsBuilder.cpp:109
This is the minimal definition of a basic block.
Definition: BasicBlock.h:43
Definition: BasicConstraintsBuilder.h:41
This a list of properties.
Definition: PropList.h:63
A variable is an identifier used for performing ILP computation.
Definition: Var.h:36
An ILP system is a colletion of ILP constraint that may maximize or minimize some object function...
Definition: System.h:42
Encapsulation for ilp::Var pointers for {ilp} expr user-fiendly interface.
Definition: expr.h:29