ContextualLoopBound.h File Reference

#include <otawa/base.h>
#include <otawa/properties.h>
#include <elm/genstruct/Tree.h>
#include <elm/genstruct/Vector.h>

Go to the source code of this file.

Classes
class	otawa::ContextPath< T >
	This class is a stack to store call chain in the program call graph. More...
class	otawa::AmbiguousBoundException
class	otawa::ContextualLoopBound
	A contextual loop bound is a collection of loop bound (including max iteration and total iteration number) for the different call contexts of a loop. More...
struct	otawa::ContextualLoopBound::data_t

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