Otawa  0.10
WorkSpace.h File Reference
#include <elm/system/Path.h>
#include <elm/genstruct/Vector.h>
#include <otawa/properties.h>
#include <otawa/prog/Process.h>

Go to the source code of this file.

Classes

class  otawa::WorkSpace
 A workspace represents a program, its run-time and all information about WCET computation or any other analysis. More...
 

Namespaces

 elm
 
 elm::xom
 
 otawa
 $Id$ Copyright (c) 2007, IRIT - UPS casse.nosp@m.@iri.nosp@m.t.fr
 
 otawa::ast
 
 otawa::hard
 
 otawa::ilp
 
 otawa::sim