- a -

• aig_ptr : spot
• atomic_prop_set : spot

- b -

• bdd_dict_ptr : spot

- c -

• const_aig_ptr : spot
• const_fair_kripke_ptr : spot
• const_kripke_explicit_ptr : spot
• const_kripke_ptr : spot
• const_mtdfa_ptr : spot
• const_mtdswa_ptr : spot
• const_mtdtwa_ptr : spot
• const_parsed_aut_ptr : spot
• const_taa_tgba_formula_ptr : spot
• const_taa_tgba_string_ptr : spot
• const_twa_graph_ptr : spot
• const_twa_product_ptr : spot
• const_twa_ptr : spot
• const_twa_run_ptr : spot
• const_twa_word_ptr : spot
• const_twacube_ptr : spot
• cspins_state : spot
• cube : spot

- e -

• edge_filter : spot
• emptiness_check_instantiator_ptr : spot
• emptiness_check_ptr : spot
• emptiness_check_result_ptr : spot

- f -

• fair_kripke_ptr : spot

- k -

• kripke_explicit_ptr : spot
• kripke_graph_ptr : spot
• kripke_ptr : spot

- l -

• ltsmin_kripkecube_ptr : spot

- m -

• mtdfa_ptr : spot
• mtdswa_ptr : spot
• mtdtwa_ptr : spot

- o -

• one_parse_error : spot

- p -

• parse_aut_error : spot
• parse_aut_error_list : spot
• parse_error_list : spot
• parsed_aut_ptr : spot
• process_timer : spot
• product_states : spot

- q -

• quantifier_list : spot

- r -

• region_t : spot
• relabeling_map : spot

- s -

• shared_state : spot
• shared_state_set : spot
• snf_cache : spot
• spins_interface_ptr : spot
• state_map : spot
• state_set : spot
• strategy_t : spot
• string_hash : spot

- t -

• taa_tgba_formula_ptr : spot
• taa_tgba_string_ptr : spot
• terminal_data_map_t : spot
• terminal_data_t : spot
• transition_info_t : spot
• TransitionCB : spot
• twa_graph_ptr : spot
• twa_product_ptr : spot
• twa_ptr : spot
• twa_run_ptr : spot
• twa_univ_remover_ptr : spot
• twa_word_ptr : spot
• twacube_ptr : spot

- v -

• vect_nca_info : spot