20 #ifndef SPOT_BIN_COMMON_OUTPUT_HH
21 #define SPOT_BIN_COMMON_OUTPUT_HH
23 #include "common_sys.hh"
27 #include "tgbaalgos/stats.hh"
28 #include "common_output.hh"
30 enum output_format_t { spot_output, spin_output, utf8_output,
31 lbt_output, wring_output, latex_output };
32 extern output_format_t output_format;
33 extern bool full_parenth;
34 extern bool escape_csv;
36 extern const struct argp output_argp;
38 int parse_opt_output(
int key,
char* arg,
struct argp_state* state);
41 const char* filename = 0,
int linenum = 0,
42 const char* prefix = 0,
const char* suffix = 0);
44 const char* filename = 0,
int linenum = 0,
45 const char* prefix = 0,
const char* suffix = 0);
60 print(std::ostream& os,
const char*)
const
62 output_formula(os, val_);
77 double run_time = -1.)
86 #endif // SPOT_BIN_COMMON_OUTPUT_HH