branch_CondNumber.cpp File Reference

#include <otawa/util/Dominance.h>
#include <otawa/util/PostDominance.h>
#include <otawa/cfg/CFG.h>
#include <otawa/cfg/features.h>
#include <otawa/branch/CondNumber.h>
#include <otawa/hard/BHT.h>

Namespaces
	otawa
	$Id$ Copyright (c) 2007, IRIT - UPS casse.nosp@m.@iri.nosp@m.t.fr
	otawa::branch

Functions
p::feature	otawa::branch::NUMBERED_CONDITIONS_FEATURE ("otawa::branch::NUMBERED_CONDITIONS_FEATURE", new Maker< CondNumber >())
	This feature assign numbers to branch present in a workspace for next processing. More...
Identifier< int >	otawa::branch::COND_NUMBER ("otawa::branch::COND_NUMBER",-1)
	Property giving the number of the control in its BHT set. More...
Identifier< int * >	otawa::branch::COND_MAX ("otawa::branch::COND_MAX", NULL)
	This features returns an array integer giving, for each BHT set, the maximum number of branches in the workspace. More...