Otawa
0.10
|
#include <otawa/cfg/features.h>
#include <otawa/prog/WorkSpace.h>
#include <otawa/proc/BBProcessor.h>
#include <otawa/cfg/BasicBlock.h>
#include "features.h"
#include "BranchBuilder.h"
Go to the source code of this file.
Classes | |
class | otawa::branch::OnlyConsBuilder |
This processor add to the current ILP the constraint requires to model the behavior of the BHT. More... | |
class | otawa::branch::ConsBuilder |
This processor add to the current ILP the constraint requires to model the behaviour of the BHT. More... | |
Namespaces | |
otawa | |
$Id$ Copyright (c) 2007, IRIT - UPS casse @iri t.fr | |
otawa::branch | |