|
spot
2.3.3.dev
|
This is the complete list of members for spot::translator, including all inherited members.
| 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 |
| build_simplifier(const bdd_dict_ptr &dict) (defined in spot::translator) | spot::translator | protected |
| Complete enum value (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_reset_ (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) (defined in spot::postprocessor) | spot::postprocessor | protected |
| do_sba_simul(const twa_graph_ptr &input, int opt) (defined in spot::postprocessor) | spot::postprocessor | protected |
| do_scc_filter(const twa_graph_ptr &a, bool arg) (defined in spot::postprocessor) | spot::postprocessor | protected |
| do_scc_filter(const twa_graph_ptr &a) (defined in spot::postprocessor) | spot::postprocessor | protected |
| do_simul(const twa_graph_ptr &input, int opt) (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 |
| 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 | |
| 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 |
| 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 |
| 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_minimize_ (defined in spot::postprocessor) | spot::postprocessor | protected |
| ~translator() (defined in spot::translator) | spot::translator | inline |
1.8.13