spot::postprocessor Member List

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

acd_	spot::postprocessor	protected
acd_was_used_	spot::postprocessor	protected
Any enum value (defined in spot::postprocessor)	spot::postprocessor
BA enum value (defined in spot::postprocessor)	spot::postprocessor
ba_simul_	spot::postprocessor	protected
Buchi enum value (defined in spot::postprocessor)	spot::postprocessor
choose_degen(const twa_graph_ptr &input) const	spot::postprocessor	protected
CoBuchi enum value (defined in spot::postprocessor)	spot::postprocessor
Colored enum value (defined in spot::postprocessor)	spot::postprocessor
Complete enum value (defined in spot::postprocessor)	spot::postprocessor
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
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
Finite enum value (defined in spot::postprocessor)	spot::postprocessor
gen_reduce_parity_	spot::postprocessor	protected
GeneralizedBuchi enum value (defined in spot::postprocessor)	spot::postprocessor
Generic enum value (defined in spot::postprocessor)	spot::postprocessor
High enum value (defined in spot::postprocessor)	spot::postprocessor
level_	spot::postprocessor	protected
Low enum value (defined in spot::postprocessor)	spot::postprocessor
Medium enum value (defined in spot::postprocessor)	spot::postprocessor
merge_states_min_	spot::postprocessor	protected
Monitor enum value (defined in spot::postprocessor)	spot::postprocessor
Obligation enum value (defined in spot::postprocessor)	spot::postprocessor
optimization_level enum name	spot::postprocessor
output_pref typedef	spot::postprocessor
output_type enum name	spot::postprocessor
Parity enum value (defined in spot::postprocessor)	spot::postprocessor
ParityEven enum value (defined in spot::postprocessor)	spot::postprocessor
ParityMax enum value (defined in spot::postprocessor)	spot::postprocessor
ParityMaxEven enum value (defined in spot::postprocessor)	spot::postprocessor
ParityMaxOdd enum value (defined in spot::postprocessor)	spot::postprocessor
ParityMin enum value (defined in spot::postprocessor)	spot::postprocessor
ParityMinEven enum value (defined in spot::postprocessor)	spot::postprocessor
ParityMinOdd enum value (defined in spot::postprocessor)	spot::postprocessor
ParityOdd enum value (defined in spot::postprocessor)	spot::postprocessor
postprocessor(const option_map *opt=nullptr)	spot::postprocessor
pref_	spot::postprocessor	protected
rde_	spot::postprocessor	protected
run(twa_graph_ptr input, formula f=nullptr)	spot::postprocessor
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
scc_filter_	spot::postprocessor	protected
set_level(optimization_level level)	spot::postprocessor	inline
set_pref(output_pref pref)	spot::postprocessor	inline
set_type(output_type type)	spot::postprocessor	inline
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
state_based_	spot::postprocessor	protected
tba_determinisation_	spot::postprocessor	protected
TGBA enum value (defined in spot::postprocessor)	spot::postprocessor
type_	spot::postprocessor	protected
Unambiguous enum value (defined in spot::postprocessor)	spot::postprocessor
wdba_det_max_	spot::postprocessor	protected
wdba_minimize_	spot::postprocessor	protected