Otawa  0.10
State.h File Reference
#include <otawa/base.h>
#include <otawa/sim/Driver.h>
#include <otawa/prop/PropList.h>

Go to the source code of this file.

Classes

class  otawa::sim::State
 This class represents a running simulator. More...
 

Namespaces

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