21 #ifndef BRANCH_CONSBUILDER_H_
22 #define BRANCH_CONSBUILDER_H_
32 namespace otawa {
namespace branch {
43 virtual void configure(
const PropList &props);
This processor is dedicated to the basic block process thru proccessBB() method.
Definition: BBProcessor.h:72
static p::declare reg
Definition: ConsBuilder.h:51
This processor add to the current ILP the constraint requires to model the behavior of the BHT...
Definition: ConsBuilder.h:38
Class to declare simple a processor.
Definition: Registration.h:213
bool _explicit
Definition: ConsBuilder.h:45
This processor add to the current ILP the constraint requires to model the behaviour of the BHT...
Definition: ConsBuilder.h:49
dtd::Element bb(dtd::make("bb", _BB).attr(id).attr(address).attr(size))
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
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
This a list of properties.
Definition: PropList.h:63
inst branch(int to)
Definition: inst.h:149
static p::declare reg
Definition: ConsBuilder.h:40