22 #include <spot/twa/twagraph.hh>
75 enum output_type { TGBA, BA, Monitor, Generic };
121 typedef int output_pref;
167 enum optimization_level { Low, Medium, High };
192 twa_graph_ptr run(twa_graph_ptr input,
formula f =
nullptr);
195 twa_graph_ptr do_simul(
const twa_graph_ptr& input,
int opt);
196 twa_graph_ptr do_sba_simul(
const twa_graph_ptr& input,
int opt);
197 twa_graph_ptr do_degen(
const twa_graph_ptr& input);
198 twa_graph_ptr do_scc_filter(
const twa_graph_ptr& a,
bool arg);
199 twa_graph_ptr do_scc_filter(
const twa_graph_ptr& a);
201 output_type type_ = TGBA;
203 optimization_level level_ = High;
205 bool degen_reset_ =
true;
206 bool degen_order_ =
false;
207 int degen_cache_ = 1;
208 bool degen_lskip_ =
true;
209 bool degen_lowinit_ =
false;
210 bool det_scc_ =
true;
211 bool det_simul_ =
true;
212 bool det_stutter_ =
true;
214 int scc_filter_ = -1;
216 bool tba_determinisation_ =
false;
217 int sat_minimize_ = 0;
218 int sat_incr_steps_ = 0;
219 bool sat_langmap_ =
false;
222 bool state_based_ =
false;
223 bool wdba_minimize_ =
true;
Manage a map of options.
Definition: optionmap.hh:37
void set_level(optimization_level level)
Set the optimization level.
Definition: postproc.hh:183
void set_type(output_type type)
Select the desired output type.
Definition: postproc.hh:107
void set_pref(output_pref pref)
Select the desired characteristics of the output automaton.
Definition: postproc.hh:162
Wrap TGBA/BA/Monitor post-processing algorithms in an easy interface.
Definition: postproc.hh:66