Otawa
0.10
|
#include <otawa/ilp/Output.h>
#include <otawa/ipet/features.h>
#include <elm/sys/System.h>
#include <elm/serial2/serial.h>
#include <otawa/ilp/System.h>
Namespaces | |
otawa | |
$Id$ Copyright (c) 2007, IRIT - UPS casse @iri t.fr | |
otawa::ilp | |
elm | |
Functions | |
SilentFeature | otawa::ilp::OUTPUT_FEATURE ("otawa::ilp::OUTPUT_FEATURE", maker) |
This feature ensures that an output of the ILP system has been produced. More... | |
Identifier< format_t > | otawa::ilp::OUTPUT_FORMAT ("otawa::ilp::OUTPUT_FORMAT", LP_SOLVE) |
Select the output format to build the OUTPUT_FEATURE. More... | |
Identifier< sys::Path > | otawa::ilp::OUTPUT_PATH ("otawa::ilp::OUTPUT_PATH","") |
Select the file to perform the output during build of OUTPUT_FEATURE. More... | |
Identifier< elm::io::OutStream * > | otawa::ilp::OUTPUT ("otawa::ilp::OUTPUT", 0) |
Select the output stream to perform the output to to build a OUTPUT_FEATURE. More... | |