22 #include "common_sys.hh"
23 #include "twaalgos/postproc.hh"
26 extern const struct argp post_argp;
27 extern const struct argp post_argp_disabled;
29 extern spot::postprocessor::output_type type;
30 extern spot::postprocessor::output_pref pref;
31 extern spot::postprocessor::output_pref comp;
32 extern spot::postprocessor::output_pref sbacc;
33 extern spot::postprocessor::optimization_level level;