#include <otawa/etime/EdgeTimeBuilder.h>
#include <elm/avl/Set.h>
#include <otawa/etime/features.h>
#include <elm/genstruct/quicksort.h>
#include <otawa/etime/Config.h>
#include <otawa/etime/EventCollector.h>

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

	otawa::etime

Functions
io::Output &	otawa::etime::operator<< (io::Output &out, EdgeTimeBuilder::place_t p)

string	otawa::etime::maskToString (t::uint32 mask, int len)
	Convert an event mask to a string. More...

p::feature	otawa::etime::EDGE_TIME_FEATURE ("otawa::etime::EDGE_TIME_FEATURE", new Maker< EdgeTimeBuilder >())
	This feature ensures that block cost has been computed according to the context of edges. More...

Identifier< bool >	otawa::etime::PREDUMP ("otawa::etime::PREDUMP", false)
	This property is used to configure the EDGE_TIME_FEATURE and ask to dump the generated execution graphs. More...

Identifier< int >	otawa::etime::EVENT_THRESHOLD ("otawa::etime::EVENT_THRESHOLD", 12)
	This property is used to configure the EDGE_TIME_FEATURE and determine the maximum number of events to consider to time a block. More...

Namespaces

Functions