Otawa  0.10
features.h File Reference
#include <elm/sys/Path.h>
#include <otawa/proc/SilentFeature.h>

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.nosp@m.@iri.nosp@m.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...