21 #ifndef OTAWA_ILP_FEATURES_H_
22 #define OTAWA_ILP_FEATURES_H_
24 #include <elm/sys/Path.h>
28 namespace otawa {
namespace ilp {
SilentFeature OUTPUT_FEATURE
This feature ensures that an output of the ILP system has been produced.
The usual Feature class has as drawback to exhibit completely the processing of the feature and there...
Definition: SilentFeature.h:32
format_t
Definition: features.h:30
Identifier< sys::Path > OUTPUT_PATH
Select the file to perform the output during build of OUTPUT_FEATURE.
Definition: features.h:34
Identifier< elm::io::OutStream * > OUTPUT
Select the output stream to perform the output to to build a OUTPUT_FEATURE.
Definition: features.h:32
Definition: features.h:33
enum otawa::ilp::format_t format_t
Identifier< format_t > OUTPUT_FORMAT
Select the output format to build the OUTPUT_FEATURE.
This class represents identifier with a typed associated value.
Definition: Identifier.h:51
Definition: features.h:31