- c -

• cancel() : spot::timer_map
• chain_edges_() : spot::digraph< State_Data, Edge_Data >
• check() : spot::couvreur99_check, spot::couvreur99_check_shy, spot::emptiness_check, spot::ta_check
• check_scc_emptiness() : spot::scc_info
• circ_init() : spot::aig
• circ_state() : spot::aig
• circ_state_of() : spot::aig
• circ_step() : spot::aig
• clear() : hoayy::parser::basic_symbol< Base >, hoayy::parser::by_kind, spot::language_containment_checker, tlyy::parser::basic_symbol< Base >, tlyy::parser::by_kind
• clear_as_bdd_cache() : spot::tl_simplifier
• clear_caches() : spot::tl_simplifier, spot::translator
• clear_rem() : spot::scc_stack
• clone() : spot::fnode, spot::kripke_graph_state, spot::set_state, spot::state, spot::state_product, spot::state_ta_explicit, spot::state_ta_product, spot::twa_graph_state
• Closure() : spot::formula
• cobuchi() : spot::acc_cond::acc_code
• command_given() : spot::satsolver_command
• comment() : spot::satsolver
• comment_rec() : spot::satsolver
• common_sets_of() : spot::scc_info
• comp() : spot::acc_cond
• compare() : spot::kripke_graph_state, spot::set_state, spot::state, spot::state_product, spot::state_ta_explicit, spot::state_ta_product, spot::twa_graph_state
• complement() : spot::acc_cond::acc_code
• Concat() : spot::formula
• cond() : spot::fair_kripke_succ_iterator, spot::kripke_succ_iterator, spot::ta_explicit_succ_iterator, spot::ta_succ_iterator_product, spot::taa_succ_iterator, spot::tgta_succ_iterator_product, spot::twa_graph_succ_iterator< Graph >, spot::twa_succ_iterator
• contained() : spot::language_containment_checker
• contained_neg() : spot::language_containment_checker
• copy() : tlyy::parser::value_type
• 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
• create_transition() : spot::twacube
• cspins_state_manager() : spot::cspins_state_manager
• cstime() : spot::timer
• cube2var_() : spot::aig
• cubeset() : spot::cubeset
• current() : spot::trans_index
• cutime() : spot::timer
• cycle_found() : spot::enumerate_cycles