Otawa
0.10
|
#include <otawa/cfg/CFGSaver.h>
#include <elm/sys/System.h>
#include <elm/xom.h>
#include <elm/xom/Serializer.h>
#include <otawa/cfg/CFG.h>
#include <otawa/cfg/BasicBlock.h>
#include <otawa/cfg/Edge.h>
Namespaces | |
otawa | |
$Id$ Copyright (c) 2007, IRIT - UPS casse @iri t.fr | |
Functions | |
Identifier< sys::Path > | otawa::CFG_IO_PATH ("otawa::CFG_IO_PATH") |
This property allows to configure the file used by CFGLoader and CFGSaver. More... | |