spot::translator Member List

This is the complete list of members for spot::translator, including all inherited members.

acd_	spot::postprocessor	protected
acd_was_used_	spot::postprocessor	protected
add_leading_x(twa_graph_ptr &aut, unsigned n)	spot::translator	protectedstatic
Any enum value (defined in spot::postprocessor)	spot::postprocessor	protected
BA enum value (defined in spot::postprocessor)	spot::postprocessor	protected
ba_simul_	spot::postprocessor	protected
Buchi enum value (defined in spot::postprocessor)	spot::postprocessor	protected
build_simplifier(const bdd_dict_ptr &dict)	spot::translator	protected
choose_degen(const twa_graph_ptr &input) const	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_	spot::postprocessor	protected
degen_cache_	spot::postprocessor	protected
degen_lowinit_	spot::postprocessor	protected
degen_lskip_	spot::postprocessor	protected
degen_order_	spot::postprocessor	protected
degen_remscc_	spot::postprocessor	protected
degen_reset_	spot::postprocessor	protected
det_max_edges_	spot::postprocessor	protected
det_max_states_	spot::postprocessor	protected
det_scc_	spot::postprocessor	protected
det_simul_	spot::postprocessor	protected
det_stutter_	spot::postprocessor	protected
Deterministic enum value (defined in spot::postprocessor)	spot::postprocessor	protected
do_degen(const twa_graph_ptr &input) const	spot::postprocessor	protected
do_degen_tba(const twa_graph_ptr &input) const	spot::postprocessor	protected
do_sba_simul(const twa_graph_ptr &input, int opt) const	spot::postprocessor	protected
do_scc_filter(const twa_graph_ptr &a, bool arg) const	spot::postprocessor	protected
do_scc_filter(const twa_graph_ptr &a) const	spot::postprocessor	protected
do_simul(const twa_graph_ptr &input, int opt) const	spot::postprocessor	protected
dpa_simul_	spot::postprocessor	protected
finalize(twa_graph_ptr tmp) const	spot::postprocessor	protected
finish_obligation_mtdswa(formula f, mtdswa_ptr mtdwa)	spot::translator	protected
Finite enum value (defined in spot::postprocessor)	spot::postprocessor	protected
gen_reduce_parity_	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_	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_	spot::postprocessor	protected
Monitor enum value (defined in spot::postprocessor)	spot::postprocessor	protected
Obligation enum value (defined in spot::postprocessor)	spot::postprocessor	protected
optimization_level enum name	spot::translator
output_pref typedef	spot::translator
output_type enum name	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_	spot::postprocessor	protected
rde_	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)	spot::translator	protected
run_q(formula f)	spot::translator	protected
sat_acc_	spot::postprocessor	protected
sat_incr_steps_	spot::postprocessor	protected
sat_langmap_	spot::postprocessor	protected
sat_minimize_	spot::postprocessor	protected
sat_states_	spot::postprocessor	protected
SBAcc enum value (defined in spot::postprocessor)	spot::postprocessor	protected
scc_filter_	spot::postprocessor	protected
set_level(optimization_level level)	spot::translator	inline
spot::postprocessor::set_level(optimization_level level)	spot::postprocessor	inlineprotected
set_pref(output_pref pref)	spot::translator	inline
set_type(output_type type)	spot::translator	inline
spot::postprocessor::set_type(output_type type)	spot::postprocessor	inlineprotected
setup_opt(const option_map *opt)	spot::translator	protected
simul_	spot::postprocessor	protected
simul_max_	spot::postprocessor	protected
simul_method_	spot::postprocessor	protected
simul_trans_pruning_	spot::postprocessor	protected
Small enum value (defined in spot::postprocessor)	spot::postprocessor	protected
state_based_	spot::postprocessor	protected
tba_determinisation_	spot::postprocessor	protected
TGBA enum value (defined in spot::postprocessor)	spot::postprocessor	protected
translate_via_fm(formula f, bool unambiguous)	spot::translator	protected
translator(tl_simplifier *simpl, const option_map *opt=nullptr)	spot::translator	inline
translator(const bdd_dict_ptr &dict, const option_map *opt=nullptr)	spot::translator	inline
translator(const option_map *opt=nullptr)	spot::translator	inline
type_	spot::postprocessor	protected
Unambiguous enum value (defined in spot::postprocessor)	spot::postprocessor	protected
wdba_det_max_	spot::postprocessor	protected
wdba_minimize_	spot::postprocessor	protected
~translator() (defined in spot::translator)	spot::translator	inline