|
spot
1.2.6
|
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(bdd_dict *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_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 |
| Deterministic enum value (defined in spot::postprocessor) | spot::postprocessor | protected |
| do_ba_simul(const tgba *input, int opt) (defined in spot::postprocessor) | spot::postprocessor | protected |
| do_degen(const tgba *input) (defined in spot::postprocessor) | spot::postprocessor | protected |
| do_simul(const tgba *input, int opt) (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 typedef (defined in spot::translator) | spot::translator | |
| output_pref typedef (defined in spot::translator) | spot::translator | |
| output_type typedef (defined in spot::translator) | spot::translator | |
| postprocessor(const option_map *opt=0) | spot::postprocessor | protected |
| pref_ (defined in spot::postprocessor) | spot::postprocessor | protected |
| run(const ltl::formula *f) | spot::translator | |
| run(const ltl::formula **f) | spot::translator | |
| spot::postprocessor::run(const tgba *input_disown, const ltl::formula *f) | spot::postprocessor | protected |
| sat_acc_ (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 |
| 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_limit_ (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(ltl::ltl_simplifier *simpl, const option_map *opt=0) (defined in spot::translator) | spot::translator | inline |
| translator(bdd_dict *dict, const option_map *opt=0) (defined in spot::translator) | spot::translator | inline |
| translator(const option_map *opt=0) (defined in spot::translator) | spot::translator | inline |
| type_ (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.4