22 #include <spot/twa/twagraph.hh>
72 enum output_type { TGBA, BA, Monitor, Generic };
104 typedef int output_pref;
141 enum optimization_level { Low, Medium, High };
166 twa_graph_ptr run(twa_graph_ptr input,
formula f =
nullptr);
169 twa_graph_ptr do_simul(
const twa_graph_ptr& input,
int opt);
170 twa_graph_ptr do_sba_simul(
const twa_graph_ptr& input,
int opt);
171 twa_graph_ptr do_degen(
const twa_graph_ptr& input);
172 twa_graph_ptr do_scc_filter(
const twa_graph_ptr& a,
bool arg);
173 twa_graph_ptr do_scc_filter(
const twa_graph_ptr& a);
175 output_type type_ = TGBA;
177 optimization_level level_ = High;
179 bool degen_reset_ =
true;
180 bool degen_order_ =
false;
181 int degen_cache_ =
true;
182 bool degen_lskip_ =
true;
183 bool degen_lowinit_ =
false;
184 bool det_scc_ =
true;
185 bool det_simul_ =
true;
186 bool det_stutter_ =
true;
188 int scc_filter_ = -1;
190 bool tba_determinisation_ =
false;
191 int sat_minimize_ = 0;
194 bool state_based_ =
false;
195 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:157
void set_type(output_type type)
Select the desired output type.
Definition: postproc.hh:90
void set_pref(output_pref pref)
Select the desired characteristics of the output automaton.
Definition: postproc.hh:136
Wrap TGBA/BA/Monitor post-processing algorithms in an easy interface.
Definition: postproc.hh:63