77 build_simplifier(dict);
84 build_simplifier(make_bdd_dict());
93 using postprocessor::output_type;
96 set_type(output_type type)
98 this->postprocessor::set_type(type);
101 using postprocessor::output_pref;
104 set_pref(output_pref pref)
106 this->postprocessor::set_pref(pref);
109 using postprocessor::optimization_level;
112 set_level(optimization_level level)
117 auto d = simpl_owned_->get_dict();
121 if (!gf_guarantee_set_)
122 gf_guarantee_ = level != Low;
141 void build_simplifier(
const bdd_dict_ptr& dict);
142 twa_graph_ptr run_aux(
formula f);
152 int relabel_overlap_;
154 bool gf_guarantee_ =
true;
155 bool gf_guarantee_set_ =
false;
157 int branchpost_ = -1;
158 unsigned tls_max_states_ = 64;
159 unsigned tls_max_ops_ = 16;
Wrap TGBA/BA/Monitor post-processing algorithms in an easy interface.
Definition postproc.hh:66