features.h File Reference

#include <otawa/proc/SilentFeature.h>
#include <otawa/data/clp/ClpState.h>
#include <otawa/prog/sem.h>

Go to the source code of this file.

Classes
class	otawa::clp::Manager
	This class allows to exploit the result of a CLP analysis. More...

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

Variables
SilentFeature	otawa::clp::FEATURE
	This features ensure that the clp analysis has been identified. More...
Identifier< clp::State >	otawa::clp::STATE_IN
	Put on a basic block, it's the CLP state at the begining of the block. More...
Identifier< clp::State >	otawa::clp::STATE_OUT
	Put on a basic block, it's the CLP state at the end of the block. More...