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

- c -

• cancel() : spot::timer_map
• capacity() : spot::bitvect
• 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
• 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
• 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
• 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_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
• cond() : spot::fair_kripke_succ_iterator, spot::kripke_graph_state, spot::kripke_succ_iterator, spot::taa_succ_iterator, spot::twa_graph_succ_iterator< Graph >, spot::twa_succ_iterator
• condition() : spot::cspins_iterator
• conj_bdd_to_formula() : spot::ltl_to_tgba_fm_otf
• connected_component() : spot::scc_stack::connected_component
• constrain() : spot::exclusive_ap
• contained() : spot::language_containment_checker
• contained_neg() : spot::language_containment_checker
• 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::timer
• cube2var_() : spot::aig
• cubeset() : spot::cubeset
• current() : spot::trans_index
• cutime() : spot::timer
• cycle_found() : spot::enumerate_cycles