20 #ifndef SPOT_TGBAALGOS_TRANSLATE_HH
21 # define SPOT_TGBAALGOS_TRANSLATE_HH
23 #include "postproc.hh"
24 #include "ltlvisit/simplify.hh"
61 build_simplifier(dict);
78 typedef postprocessor::output_type output_type;
81 set_type(output_type type)
83 this->postprocessor::set_type(type);
86 typedef postprocessor::output_pref output_pref;
89 set_pref(output_pref pref)
91 this->postprocessor::set_pref(pref);
94 typedef postprocessor::optimization_level optimization_level;
97 set_level(optimization_level level)
117 void build_simplifier(
bdd_dict* dict);
131 #endif // SPOT_TGBAALGOS_TRANSLATE_HH