spot
1.1.3
|
This is the complete list of members for spot::ta_check, including all inherited members.
a_ | spot::ta_check | protected |
check(bool disable_second_pass=false, bool disable_heuristic_for_livelock_detection=false) | spot::ta_check | virtual |
clear(numbered_state_heap *h, std::stack< pair_state_iter > todo, std::queue< spot::state * > init_set) | spot::ta_check | protected |
clear(numbered_state_heap *h, std::stack< pair_state_iter > todo, spot::ta_succ_iterator *init_states_it) | spot::ta_check | protected |
dec_depth(unsigned n=1) | spot::ec_statistics | inline |
depth() const | spot::ec_statistics | inline |
ec_statistics() | spot::ec_statistics | inline |
get(const char *str) const | spot::unsigned_statistics | inline |
heuristic_livelock_detection(const state *stuttering_succ, numbered_state_heap *h, int h_livelock_root, std::set< const state *, state_ptr_less_than > liveset_curr) | spot::ta_check | protected |
inc_depth(unsigned n=1) | spot::ec_statistics | inline |
inc_states() | spot::ec_statistics | inline |
inc_transitions() | spot::ec_statistics | inline |
is_full_2_pass_ | spot::ta_check | protected |
livelock_detection(const ta_product *t) | spot::ta_check | virtual |
max_depth() const | spot::ec_statistics | inline |
o_ | spot::ta_check | protected |
print_stats(std::ostream &os) const | spot::ta_check | virtual |
scc | spot::ta_check | protected |
set_states(unsigned n) | spot::ec_statistics | inline |
sscc | spot::ta_check | protected |
states() const | spot::ec_statistics | inline |
stats | spot::unsigned_statistics | |
stats_map typedef | spot::unsigned_statistics | |
ta_check(const ta_product *a, option_map o=option_map()) | spot::ta_check | |
transitions() const | spot::ec_statistics | inline |
unsigned_fun typedef | spot::unsigned_statistics | |
~ta_check() | spot::ta_check | virtual |
~unsigned_statistics() | spot::unsigned_statistics | inlinevirtual |