Otawa
0.10
|
#include <elm/inhstruct/Tree.h>
#include <elm/genstruct/Vector.h>
#include <elm/io.h>
#include <otawa/base.h>
#include <otawa/prop/Property.h>
#include <otawa/prop/Identifier.h>
Go to the source code of this file.
Classes | |
class | otawa::ContextualStep |
class | otawa::ContextualProperty |
A contextual property is a special property that allows to retrieve a property value by its contextual path (ContextualPath). More... | |
class | otawa::ContextualProperty::Node |
class | otawa::ContextualPath |
class | otawa::ContextualPath::Ref< T > |
Namespaces | |
otawa | |
$Id$ Copyright (c) 2007, IRIT - UPS casse @iri t.fr | |
Functions | |
io::Output & | otawa::operator<< (io::Output &out, const ContextualStep &path) |
io::Output & | otawa::operator<< (io::Output &out, const ContextualPath &path) |
template<class T > | |
io::Output & | otawa::operator<< (io::Output &out, const ContextualPath::Ref< T > &r) |