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

- c -

• c_ : spot::language_containment_checker
• cancel() : spot::timer_map
• capacity() : spot::bitvect
• car : spot::to_parity_options
• cbegin() : spot::scc_info
• cend() : spot::scc_info
• chain_edges_() : spot::digraph< State_Data, Edge_Data >
• check() : spot::couvreur99_check , spot::couvreur99_check_shy , spot::emptiness_check
• check_fin_acceptance() : spot::acc_cond
• check_scc_emptiness() : spot::scc_info
• choice() : spot::backprop_graph
• choose_degen() : spot::postprocessor
• circ_init() : spot::aig
• circ_state() : spot::aig
• circ_state_of() : spot::aig
• circ_step() : spot::aig
• claim_status : spot::iterable_uf< State, StateHash, StateEqual > , spot::iterable_uf_ec< State, StateHash, StateEqual >
• clause_num : spot::nca_st_info
• cleanpos_ : spot::temporary_file
• cleanpos_t : spot::temporary_file
• clear() : spot::acc_cond::mark_t , spot::bitset< N > , spot::bitvect , spot::language_containment_checker
• clear_all() : spot::bitvect , spot::bitvect_array
• clear_as_bdd_cache() : spot::tl_simplifier
• clear_caches() : spot::tl_simplifier , spot::translator
• clear_rem() : spot::scc_stack
• clear_todo() : spot::couvreur99_check_shy
• clock : spot::stopwatch
• clone() : spot::bitvect , spot::fnode , spot::kripke_graph_state , spot::set_state , spot::state , spot::state_product , spot::twa_graph_state , spot::univ_remover_state
• close() : spot::open_temporary_file
• cobuchi() : spot::acc_cond::acc_code
• code_ : spot::acc_cond
• colors : spot::mtdswa , spot::zielonka_tree::zielonka_node
• combine_and() : spot::ltlf_translator , spot::simple_ltl_translator
• combine_equiv() : spot::ltlf_translator , spot::simple_ltl_translator
• combine_implies() : spot::ltlf_translator , spot::simple_ltl_translator
• combine_not() : spot::ltlf_translator , spot::simple_ltl_translator
• combine_or() : spot::ltlf_translator , spot::simple_ltl_translator
• combine_xor() : spot::ltlf_translator , spot::simple_ltl_translator
• command_given() : spot::satsolver_command
• comment() : spot::satsolver
• comment_rec() : spot::satsolver
• common_ : spot::scc_info_node
• common_marks() : spot::scc_info_node
• common_sets_of() : spot::scc_info
• comp() : spot::acc_cond
• compare() : spot::kripke_graph_state , spot::set_state , spot::state , spot::state_product , spot::twa_graph_state , spot::univ_remover_state
• complement() : spot::acc_cond::acc_code
• 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::fair_kripke_succ_iterator , spot::fm_edge , spot::kripke_graph_state , spot::kripke_succ_iterator , spot::taa_succ_iterator , spot::twa_graph_edge_data , spot::twa_graph_succ_iterator< Graph > , spot::twa_succ_iterator
• cond_ : spot::fair_kripke_succ_iterator , spot::kripke_succ_iterator
• condition() : spot::cspins_iterator , spot::scc_stack::connected_component , spot::taa_tgba::transition
• conj_bdd_to_formula() : spot::ltl_to_tgba_fm_otf
• connected_component() : spot::scc_stack::connected_component
• const_iterator : spot::digraph< State_Data, Edge_Data >
• constrain() : spot::exclusive_ap
• contained() : spot::language_containment_checker
• contained_neg() : spot::language_containment_checker
• 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
• copy_acceptance_of() : spot::twa
• copy_ap_of() : spot::twa
• copy_named_properties_of() : spot::twa
• copy_state_names_from() : spot::twa_graph
• count() : spot::acc_cond::mark_t , spot::bitset< N > , spot::bitvect
• couvreur99_check() : spot::couvreur99_check
• couvreur99_check_result() : spot::couvreur99_check_result
• couvreur99_check_shy() : spot::couvreur99_check_shy
• couvreur99_check_status() : spot::couvreur99_check_status
• cputime() : spot::process_timer
• create_formula_namer() : spot::twa_graph
• create_namer() : spot::twa_graph
• create_transition() : spot::taa_tgba_labelled< label > , spot::twacube
• cspins_iterator() : spot::cspins_iterator
• cspins_state_manager() : spot::cspins_state_manager
• cstate() : spot::cstate
• cstime : spot::time_info , spot::timer
• cube2var_() : spot::aig
• cube_ : spot::transition
• cubeset : spot::cspins_iterator::cspins_iterator_param , spot::cubeset
• current() : spot::trans_index
• cut_sets_ : spot::scc_and_mark_filter
• cutime : spot::time_info , spot::timer
• cycle : spot::twa_run , spot::twa_word
• cycle_found() : spot::enumerate_cycles
• cycle_seed : spot::couvreur99_check_status