78 build_simplifier(dict);
85 build_simplifier(make_bdd_dict());
94 using postprocessor::output_type;
97 set_type(output_type type)
99 this->postprocessor::set_type(type);
102 using postprocessor::output_pref;
105 set_pref(output_pref pref)
107 this->postprocessor::set_pref(pref);
110 using postprocessor::optimization_level;
113 set_level(optimization_level level)
118 auto d = simpl_owned_->get_dict();
122 if (!gf_guarantee_set_)
123 gf_guarantee_ = level != Low;
142 void build_simplifier(
const bdd_dict_ptr& dict);
143 twa_graph_ptr run_aux(
formula f);
153 int relabel_overlap_;
155 bool gf_guarantee_ =
true;
156 bool gf_guarantee_set_ =
false;
158 int branchpost_ = -1;
159 unsigned tls_max_states_ = 64;
160 unsigned tls_max_ops_ = 16;
Wrap TGBA/BA/Monitor post-processing algorithms in an easy interface.
Definition postproc.hh:67