22 #include "common_sys.hh"
28 #include "twaalgos/stats.hh"
29 #include "common_output.hh"
30 #include "common_file.hh"
32 enum output_format_t { spot_output, spin_output, utf8_output,
33 lbt_output, wring_output, latex_output,
34 quiet_output, count_output };
35 extern output_format_t output_format;
36 extern bool full_parenth;
37 extern bool escape_csv;
39 extern const struct argp output_argp;
41 int parse_opt_output(
int key,
char* arg,
struct argp_state* state);
45 stream_formula(std::ostream& out,
49 const char* filename = 0,
int linenum = 0,
50 const char* prefix = 0,
const char* suffix = 0);
65 print(std::ostream& os,
const char*)
const;
80 print(
const spot::const_twa_graph_ptr& aut,
82 double run_time = -1.)
Definition: formater.hh:42
std::ostream & print(const const_twa_graph_ptr &aut, const ltl::formula *f=0, double run_time=-1.)
print the configured statistics.
prints various statistics about a TGBA
Definition: stats.hh:77
Definition: common_output.hh:68