21 #ifndef OTAWA_IPET_IPET_FLOW_FACT_CONSTRAINT_BUILDER_H
22 #define OTAWA_IPET_IPET_FLOW_FACT_CONSTRAINT_BUILDER_H
32 namespace ilp {
class System; }
52 #endif // OTAWA_IPET_IPET_FLOW_FACT_CONSTRAINT_BUILDER_H
This processor is dedicated to the basic block process thru proccessBB() method.
Definition: BBProcessor.h:72
static const PropList EMPTY
This is an empty proplist for convenience.
Definition: PropList.h:66
dtd::Element bb(dtd::make("bb", _BB).attr(id).attr(address).attr(size))
Control Flow Graph representation.
Definition: CFG.h:42
This processor allows using extern flow facts in an IPET system.
Definition: FlowFactConstraintBuilder.h:37
A workspace represents a program, its run-time and all information about WCET computation or any othe...
Definition: WorkSpace.h:67
bool _explicit
Definition: FlowFactConstraintBuilder.h:47
dtd::Element cfg(dtd::make("cfg", _CFG).attr(id).content((entry,*bb, exit,*edge)))
This is the minimal definition of a basic block.
Definition: BasicBlock.h:43
ilp::System * system
Definition: FlowFactConstraintBuilder.h:46
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