spot 2.3.3

- Main Page
- Related Pages
- Modules
- Classes
- Files

- Class List
- Class Index
- Class Hierarchy
- Class Members

All Classes Files Functions Variables Typedefs Enumerations Enumerator Friends Modules Pages
spot::translator Member List

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

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.