20 #ifndef SPOT_TGBAALGOS_POSTPROC_HH
21 # define SPOT_TGBAALGOS_POSTPROC_HH
23 #include "tgba/tgba.hh"
68 enum output_type { TGBA, BA, Monitor };
70 set_type(output_type type)
84 typedef int output_pref;
87 set_pref(output_pref pref)
92 enum optimization_level { Low, Medium, High };
94 set_level(optimization_level level)
103 const tgba* do_simul(
const tgba* input,
int opt);
104 const tgba* do_ba_simul(
const tgba* input,
int opt);
105 const tgba* do_degen(
const tgba* input);
109 optimization_level level_;
119 bool tba_determinisation_;
129 #endif // SPOT_TGBAALGOS_POSTPROC_HH