22 #include <spot/twa/twagraph.hh> 75 enum output_type { TGBA = 0,
80 ParityMin = Parity | 8,
81 ParityMax = Parity | 16,
82 ParityOdd = Parity | 32,
83 ParityEven = Parity | 64,
84 ParityMinOdd = ParityMin | ParityOdd,
85 ParityMaxOdd = ParityMax | ParityOdd,
86 ParityMinEven = ParityMin | ParityEven,
87 ParityMaxEven = ParityMax | ParityEven,
146 typedef int output_pref;
194 enum optimization_level { Low, Medium, High };
219 twa_graph_ptr run(twa_graph_ptr input,
formula f =
nullptr);
222 twa_graph_ptr do_simul(
const twa_graph_ptr& input,
int opt)
const;
223 twa_graph_ptr do_sba_simul(
const twa_graph_ptr& input,
int opt)
const;
224 twa_graph_ptr do_degen(
const twa_graph_ptr& input)
const;
225 twa_graph_ptr do_degen_tba(
const twa_graph_ptr& input)
const;
226 twa_graph_ptr do_scc_filter(
const twa_graph_ptr& a,
bool arg)
const;
227 twa_graph_ptr do_scc_filter(
const twa_graph_ptr& a)
const;
228 twa_graph_ptr finalize(twa_graph_ptr tmp)
const;
230 output_type type_ = TGBA;
232 optimization_level level_ = High;
234 bool degen_reset_ =
true;
235 bool degen_order_ =
false;
236 int degen_cache_ = 1;
237 bool degen_lskip_ =
true;
238 bool degen_lowinit_ =
false;
239 bool degen_remscc_ =
true;
240 bool det_scc_ =
true;
241 bool det_simul_ =
true;
242 bool det_stutter_ =
true;
243 int det_max_states_ = -1;
244 int det_max_edges_ = -1;
246 int scc_filter_ = -1;
248 bool tba_determinisation_ =
false;
249 int sat_minimize_ = 0;
250 int sat_incr_steps_ = 0;
251 bool sat_langmap_ =
false;
254 int gen_reduce_parity_ = 1;
255 bool state_based_ =
false;
256 bool wdba_minimize_ =
true;
Definition: automata.hh:26
Manage a map of options.
Definition: optionmap.hh:37
void set_level(optimization_level level)
Set the optimization level.
Definition: postproc.hh:210
void set_type(output_type type)
Select the desired output type.
Definition: postproc.hh:131
void set_pref(output_pref pref)
Select the desired characteristics of the output automaton.
Definition: postproc.hh:189
Wrap TGBA/BA/Monitor post-processing algorithms in an easy interface.
Definition: postproc.hh:66