spot
2.3.5
|
This is the complete list of members for spot::postprocessor, including all inherited members.
Any enum value (defined in spot::postprocessor) | spot::postprocessor | |
BA enum value (defined in spot::postprocessor) | spot::postprocessor | |
ba_simul_ (defined in spot::postprocessor) | spot::postprocessor | protected |
Complete enum value (defined in spot::postprocessor) | spot::postprocessor | |
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 | |
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 | |
High enum value (defined in spot::postprocessor) | spot::postprocessor | |
level_ (defined in spot::postprocessor) | spot::postprocessor | protected |
Low enum value (defined in spot::postprocessor) | spot::postprocessor | |
Medium enum value (defined in spot::postprocessor) | spot::postprocessor | |
Monitor enum value (defined in spot::postprocessor) | spot::postprocessor | |
optimization_level enum name (defined in spot::postprocessor) | spot::postprocessor | |
output_pref typedef (defined in spot::postprocessor) | spot::postprocessor | |
output_type enum name (defined in spot::postprocessor) | spot::postprocessor | |
postprocessor(const option_map *opt=nullptr) | spot::postprocessor | |
pref_ (defined in spot::postprocessor) | spot::postprocessor | protected |
run(twa_graph_ptr input, formula f=nullptr) | spot::postprocessor | |
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 | |
scc_filter_ (defined in spot::postprocessor) | 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_ (defined in spot::postprocessor) | spot::postprocessor | protected |
Small enum value (defined in spot::postprocessor) | spot::postprocessor | |
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 | |
type_ (defined in spot::postprocessor) | spot::postprocessor | protected |
Unambiguous enum value (defined in spot::postprocessor) | spot::postprocessor | |
wdba_minimize_ (defined in spot::postprocessor) | spot::postprocessor | protected |