|
spot 2.12.2
|
This is the complete list of members for spot::translator, including all inherited members.
| acd_ (defined in spot::postprocessor) | spot::postprocessor | protected |
| acd_was_used_ (defined in spot::postprocessor) | spot::postprocessor | protected |
| Any enum value (defined in spot::postprocessor) | spot::postprocessor | protected |
| BA enum value (defined in spot::postprocessor) | spot::postprocessor | protected |
| ba_simul_ (defined in spot::postprocessor) | spot::postprocessor | protected |
| Buchi enum value (defined in spot::postprocessor) | spot::postprocessor | protected |
| build_simplifier(const bdd_dict_ptr &dict) (defined in spot::translator) | spot::translator | protected |
| choose_degen(const twa_graph_ptr &input) const (defined in spot::postprocessor) | spot::postprocessor | protected |
| clear_caches() | spot::translator | |
| CoBuchi enum value (defined in spot::postprocessor) | spot::postprocessor | protected |
| Colored enum value (defined in spot::postprocessor) | spot::postprocessor | protected |
| Complete enum value (defined in spot::postprocessor) | spot::postprocessor | protected |
| dba_simul_ (defined in spot::postprocessor) | spot::postprocessor | protected |
| degen_cache_ (defined in spot::postprocessor) | spot::postprocessor | protected |
| degen_lowinit_ (defined in spot::postprocessor) | spot::postprocessor | protected |
| degen_lskip_ (defined in spot::postprocessor) | spot::postprocessor | protected |
| degen_order_ (defined in spot::postprocessor) | spot::postprocessor | protected |
| degen_remscc_ (defined in spot::postprocessor) | spot::postprocessor | protected |
| degen_reset_ (defined in spot::postprocessor) | spot::postprocessor | protected |
| det_max_edges_ (defined in spot::postprocessor) | spot::postprocessor | protected |
| det_max_states_ (defined in spot::postprocessor) | spot::postprocessor | protected |
| det_scc_ (defined in spot::postprocessor) | spot::postprocessor | protected |
| det_simul_ (defined in spot::postprocessor) | spot::postprocessor | protected |
| det_stutter_ (defined in spot::postprocessor) | spot::postprocessor | protected |
| Deterministic enum value (defined in spot::postprocessor) | spot::postprocessor | protected |
| do_degen(const twa_graph_ptr &input) const (defined in spot::postprocessor) | spot::postprocessor | protected |
| do_degen_tba(const twa_graph_ptr &input) const (defined in spot::postprocessor) | spot::postprocessor | protected |
| do_sba_simul(const twa_graph_ptr &input, int opt) const (defined in spot::postprocessor) | spot::postprocessor | protected |
| do_scc_filter(const twa_graph_ptr &a, bool arg) const (defined in spot::postprocessor) | spot::postprocessor | protected |
| do_scc_filter(const twa_graph_ptr &a) const (defined in spot::postprocessor) | spot::postprocessor | protected |
| do_simul(const twa_graph_ptr &input, int opt) const (defined in spot::postprocessor) | spot::postprocessor | protected |
| dpa_simul_ (defined in spot::postprocessor) | spot::postprocessor | protected |
| finalize(twa_graph_ptr tmp) const (defined in spot::postprocessor) | spot::postprocessor | protected |
| gen_reduce_parity_ (defined in spot::postprocessor) | spot::postprocessor | protected |
| GeneralizedBuchi enum value (defined in spot::postprocessor) | spot::postprocessor | protected |
| Generic enum value (defined in spot::postprocessor) | spot::postprocessor | protected |
| High enum value (defined in spot::postprocessor) | spot::postprocessor | protected |
| level_ (defined in spot::postprocessor) | spot::postprocessor | protected |
| Low enum value (defined in spot::postprocessor) | spot::postprocessor | protected |
| Medium enum value (defined in spot::postprocessor) | spot::postprocessor | protected |
| merge_states_min_ (defined in spot::postprocessor) | spot::postprocessor | protected |
| Monitor enum value (defined in spot::postprocessor) | spot::postprocessor | protected |
| optimization_level enum name (defined in spot::translator) | spot::translator | |
| output_pref typedef (defined in spot::translator) | spot::translator | |
| output_type enum name (defined in spot::translator) | spot::translator | |
| Parity enum value (defined in spot::postprocessor) | spot::postprocessor | protected |
| ParityEven enum value (defined in spot::postprocessor) | spot::postprocessor | protected |
| ParityMax enum value (defined in spot::postprocessor) | spot::postprocessor | protected |
| ParityMaxEven enum value (defined in spot::postprocessor) | spot::postprocessor | protected |
| ParityMaxOdd enum value (defined in spot::postprocessor) | spot::postprocessor | protected |
| ParityMin enum value (defined in spot::postprocessor) | spot::postprocessor | protected |
| ParityMinEven enum value (defined in spot::postprocessor) | spot::postprocessor | protected |
| ParityMinOdd enum value (defined in spot::postprocessor) | spot::postprocessor | protected |
| ParityOdd enum value (defined in spot::postprocessor) | spot::postprocessor | protected |
| postprocessor(const option_map *opt=nullptr) | spot::postprocessor | protected |
| pref_ (defined in spot::postprocessor) | spot::postprocessor | protected |
| run(formula f) | spot::translator | |
| run(formula *f) | spot::translator | |
| spot::postprocessor::run(twa_graph_ptr input, formula f=nullptr) | spot::postprocessor | protected |
| run_aux(formula f) (defined in spot::translator) | spot::translator | protected |
| sat_acc_ (defined in spot::postprocessor) | spot::postprocessor | protected |
| sat_incr_steps_ (defined in spot::postprocessor) | spot::postprocessor | protected |
| sat_langmap_ (defined in spot::postprocessor) | spot::postprocessor | protected |
| sat_minimize_ (defined in spot::postprocessor) | spot::postprocessor | protected |
| sat_states_ (defined in spot::postprocessor) | spot::postprocessor | protected |
| SBAcc enum value (defined in spot::postprocessor) | spot::postprocessor | protected |
| scc_filter_ (defined in spot::postprocessor) | spot::postprocessor | protected |
| set_level(optimization_level level) (defined in spot::translator) | spot::translator | inline |
| set_pref(output_pref pref) (defined in spot::translator) | spot::translator | inline |
| set_type(output_type type) (defined in spot::translator) | spot::translator | inline |
| setup_opt(const option_map *opt) (defined in spot::translator) | spot::translator | protected |
| simul_ (defined in spot::postprocessor) | spot::postprocessor | protected |
| simul_max_ (defined in spot::postprocessor) | spot::postprocessor | protected |
| simul_method_ (defined in spot::postprocessor) | spot::postprocessor | protected |
| simul_trans_pruning_ (defined in spot::postprocessor) | spot::postprocessor | protected |
| Small enum value (defined in spot::postprocessor) | spot::postprocessor | protected |
| state_based_ (defined in spot::postprocessor) | spot::postprocessor | protected |
| tba_determinisation_ (defined in spot::postprocessor) | spot::postprocessor | protected |
| TGBA enum value (defined in spot::postprocessor) | spot::postprocessor | protected |
| translator(tl_simplifier *simpl, const option_map *opt=nullptr) (defined in spot::translator) | spot::translator | inline |
| translator(const bdd_dict_ptr &dict, const option_map *opt=nullptr) (defined in spot::translator) | spot::translator | inline |
| translator(const option_map *opt=nullptr) (defined in spot::translator) | spot::translator | inline |
| type_ (defined in spot::postprocessor) | spot::postprocessor | protected |
| Unambiguous enum value (defined in spot::postprocessor) | spot::postprocessor | protected |
| wdba_det_max_ (defined in spot::postprocessor) | spot::postprocessor | protected |
| wdba_minimize_ (defined in spot::postprocessor) | spot::postprocessor | protected |
| ~translator() (defined in spot::translator) | spot::translator | inline |
1.9.4