hard_BHT.cpp File Reference

#include <otawa/prop/Identifier.h>
#include <otawa/hard/BHT.h>
#include <otawa/script/Script.h>
#include <otawa/prog/WorkSpace.h>
#include <elm/xom.h>
#include <elm/serial2/XOMUnserializer.h>

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

Functions
p::feature	otawa::hard::BHT_FEATURE ("otawa::hard::BHT_FEATURE", new Maker< BHTGetter >())
	This feature ensures that the BHT description has been loaded. More...
Identifier< BHT * >	otawa::hard::BHT_CONFIG ("otawa::hard::BHT_CONFIG", 0)
	Gives the current BHT description. More...
	SERIALIZE (otawa::hard::BHT)

Function Documentation

SERIALIZE

(

otawa::hard::BHT

)