Otawa
0.10
|
Go to the source code of this file.
Classes | |
struct | elm::type_info< otawa::ilp::format_t > |
Namespaces | |
otawa | |
$Id$ Copyright (c) 2007, IRIT - UPS casse @iri t.fr | |
otawa::ilp | |
elm | |
Typedefs | |
typedef enum otawa::ilp::format_t | otawa::ilp::format_t |
Enumerations | |
enum | otawa::ilp::format_t { otawa::ilp::DEFAULT = 0, otawa::ilp::LP_SOLVE = 1, otawa::ilp::CPLEX = 2, otawa::ilp::MOSEK = 3 } |
Variables | |
SilentFeature | otawa::ilp::OUTPUT_FEATURE |
This feature ensures that an output of the ILP system has been produced. More... | |
Identifier< format_t > | otawa::ilp::OUTPUT_FORMAT |
Select the output format to build the OUTPUT_FEATURE. More... | |
Identifier< sys::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 |
Select the output stream to perform the output to to build a OUTPUT_FEATURE. More... | |