spot: Class Members - Variables

spot 2.12.2

- a -

a_ : spot::bfs_steps, spot::emptiness_check, spot::emptiness_check_result, spot::ta_check
aborted : spot::parsed_aut
acc : spot::iterable_uf_ec< State, StateHash, StateEqual >::uf_element
acc_clean : spot::to_parity_options
acc_map : spot::bdd_dict
acc_mutex_ : spot::iterable_uf_ec< State, StateHash, StateEqual >::uf_element
algorithms_used : spot::to_parity_data
aut : spot::parsed_aut
aut_ : spot::twa_reachable_iterator, spot::twa_reachable_iterator_depth_first

- b -

bscc : spot::to_parity_options
buchi_type_to_buchi : spot::to_parity_options

- c -

car : spot::to_parity_options
condition : spot::scc_stack::connected_component, spot::scc_stack_ta::connected_component

- d -

datas : spot::to_parity_options
debug : spot::automaton_parser_options
dict_ : spot::twa
drop_false_edges : spot::automaton_parser_options

- e -

errors : spot::parsed_aut, spot::parsed_formula

- f -

- g -

generic_emptiness : spot::to_parity_options
group_ : spot::couvreur99_check_shy

- i -

iar : spot::to_parity_options
ignore_abort : spot::automaton_parser_options
index : spot::scc_stack::connected_component, spot::scc_stack_ta::connected_component
input : spot::parsed_formula
iter_cache_ : spot::twa

- k -

kind_ : hoayy::parser::by_kind, tlyy::parser::by_kind
ks : spot::parsed_aut

- l -

lar_dfs : spot::to_parity_options
loc : spot::parsed_aut
location : hoayy::parser::basic_symbol< Base >, tlyy::parser::basic_symbol< Base >

- n -

name : spot::ec_stats
nb_edges_created : spot::to_parity_data
nb_states_created : spot::to_parity_data
next_ : spot::iterable_uf< State, StateHash, StateEqual >::uf_element, spot::iterable_uf_ec< State, StateHash, StateEqual >::uf_element

- o -

o_ : spot::emptiness_check, spot::emptiness_check_result, spot::ta_check

- p -

parent : spot::iterable_uf< State, StateHash, StateEqual >::uf_element, spot::iterable_uf_ec< State, StateHash, StateEqual >::uf_element
parity_equiv : spot::to_parity_options
parity_max : spot::reduce_parity_data
parity_odd : spot::reduce_parity_data
parity_prefix : spot::to_parity_options
parity_prefix_general : spot::to_parity_options
parity_type_to_parity : spot::to_parity_options
partial_degen : spot::to_parity_options
poprem_ : spot::couvreur99_check
pretty_print : spot::to_parity_options
propagate_col : spot::to_parity_options

- r -

rabin_to_buchi : spot::to_parity_options
raise_errors : spot::automaton_parser_options
reduce_col_deg : spot::to_parity_options
removed_components : spot::couvreur99_check
rs : spot::random_psl

- s -

sccs : spot::ec_stats
search_ex : spot::to_parity_options
seen : spot::ta_reachable_iterator, spot::twa_reachable_iterator, spot::twa_reachable_iterator_depth_first
st_ : spot::iterable_uf< State, StateHash, StateEqual >::uf_element
st_kripke : spot::iterable_uf_ec< State, StateHash, StateEqual >::uf_element
st_prop : spot::iterable_uf_ec< State, StateHash, StateEqual >::uf_element
states : spot::ec_stats

- t -

t_automata_ : spot::ta_reachable_iterator
tar : spot::to_parity_options
todo : spot::ta_reachable_iterator_breadth_first, spot::ta_reachable_iterator_depth_first, spot::twa_reachable_iterator_breadth_first, spot::twa_reachable_iterator_depth_first
trace : spot::ec_stats
transitions : spot::ec_stats
trust_hoa : spot::automaton_parser_options
type : spot::parsed_aut

- u -

uf_status_ : spot::iterable_uf< State, StateHash, StateEqual >::uf_element, spot::iterable_uf_ec< State, StateHash, StateEqual >::uf_element
use_generalized_rabin : spot::to_parity_options
use_last : spot::to_parity_options
use_last_post_process : spot::to_parity_options

- v -

- w -

walltime : spot::ec_stats
want_kripke : spot::automaton_parser_options
worker_ : spot::iterable_uf< State, StateHash, StateEqual >::uf_element, spot::iterable_uf_ec< State, StateHash, StateEqual >::uf_element

- y -

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

Generated on Fri Feb 27 2015 10:00:07 for spot by

doxygen

1.9.4