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

- c -

• c_ : spot::language_containment_checker
• car : spot::to_parity_options
• clause_num : spot::nca_st_info
• cleanpos_ : spot::temporary_file
• code_ : spot::acc_cond
• colors : spot::mtdswa, spot::zielonka_tree::zielonka_node
• common_ : spot::scc_info_node
• complete : spot::twa::prop_set
• compress : spot::cspins_iterator::cspins_iterator_param, spot::inner_callback_parameters
• compressed : spot::inner_callback_parameters
• cond : spot::cspins_iterator::cspins_iterator_param, spot::fm_edge, spot::twa_graph_edge_data
• cond_ : spot::fair_kripke_succ_iterator, spot::kripke_succ_iterator
• condition : spot::scc_stack::connected_component, spot::taa_tgba::transition
• containment_checks : spot::tl_simplifier_options
• containment_checks_stronger : spot::tl_simplifier_options
• containment_max_ops : spot::tl_simplifier_options
• containment_max_states : spot::tl_simplifier_options
• cstime : spot::time_info
• cube_ : spot::transition
• cubeset : spot::cspins_iterator::cspins_iterator_param
• cut_sets_ : spot::scc_and_mark_filter
• cutime : spot::time_info
• cycle : spot::twa_run, spot::twa_word
• cycle_seed : spot::couvreur99_check_status