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

- g -

• g_ : spot::kripke_graph, spot::named_graph< Graph, State_Name, Name_Hash, Name_Equal >, spot::twa_graph
• gen_reduce_parity_ : spot::postprocessor
• generic_emptiness : spot::to_parity_options
• get_initial_state : spot::spins_interface
• get_state_size : spot::spins_interface
• get_state_variable_name : spot::spins_interface
• get_state_variable_type : spot::spins_interface
• get_successors : spot::spins_interface
• get_type_count : spot::spins_interface
• get_type_name : spot::spins_interface
• get_type_value_count : spot::spins_interface
• get_type_value_name : spot::spins_interface
• glob_cond : spot::mealy_like
• group : spot::transition_info
• group2_ : spot::couvreur99_check_shy
• group_ : spot::couvreur99_check_shy