Here is a list of all documented functions with links to the class documentation for each member:

- g -

• G() : spot::formula
• gate_bdd() : spot::aig
• gate_var() : spot::aig
• gates() : spot::aig
• generalized_buchi() : spot::acc_cond::acc_code
• generalized_co_buchi() : spot::acc_cond::acc_code
• generalized_rabin() : spot::acc_cond::acc_code
• generate() : spot::random_formula
• get() : spot::bitvect, spot::option_map, spot::unsigned_statistics
• get_acceptance() : spot::acc_cond, spot::twa
• get_accepting_run() : spot::scc_info
• get_aut() : spot::acd, spot::scc_and_mark_filter, spot::scc_info
• get_cache() : spot::ltlf_translator, spot::simple_ltl_translator
• get_child_of() : spot::fnode, spot::formula
• get_controllable_variables() : spot::mtdfa, spot::mtdswa
• get_cubeset() : spot::twacube
• get_dict() : spot::bdd_dict_preorder, spot::ltl_to_tgba_fm_otf, spot::mtdfa, spot::mtdswa, spot::tl_simplifier, spot::twa, spot::twa_word
• get_filter() : spot::scc_and_mark_filter, spot::scc_info
• get_filter_data() : spot::scc_info
• get_graph() : spot::twa_graph, spot::twacube
• get_init_state() : spot::kripke_graph, spot::taa_tgba, spot::twa, spot::twa_graph, spot::twa_product, spot::twa_product_init, spot::twa_univ_remover
• get_init_state_number() : spot::kripke_graph, spot::twa_graph
• get_initial() : spot::twacube
• get_mapping() : spot::realizability_simplifier
• get_name() : spot::named_graph< Graph, State_Name, Name_Hash, Name_Equal >
• get_named_prop() : spot::twa
• get_named_prop_() : spot::twa
• get_nb_clauses() : spot::satsolver
• get_nb_vars() : spot::satsolver
• get_options() : spot::scc_info
• get_or_set_named_prop() : spot::twa
• get_prop_map() : spot::declarative_environment
• get_removed_components() : spot::couvreur99_check
• get_safe_point_() : spot::aig
• get_solution() : spot::satsolver
• get_state() : spot::named_graph< Graph, State_Name, Name_Hash, Name_Equal >, spot::set_state
• get_stats() : spot::mtdfa
• get_str() : spot::option_map
• get_threads() : spot::kripkecube< State, SuccIterator >, spot::kripkecube< cspins_state, cspins_iterator >
• get_uscp() : spot::timer
• get_vmsize() : spot::couvreur99_check
• GF_n() : spot::randltlgenerator
• graph() : spot::named_graph< Graph, State_Name, Name_Hash, Name_Equal >