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

- f -

• f() : spot::acc_cond::acc_code
• F() : spot::formula
• fair_kripke() : spot::fair_kripke
• fair_kripke_succ_iterator() : spot::fair_kripke_succ_iterator
• fd() : spot::open_temporary_file
• ff() : spot::fnode, spot::formula
• fill() : spot::acc_cond::mark_t
• filter() : spot::bfs_steps
• filter_mark_() : spot::scc_and_mark_filter
• filter_scc_and_mark_() : spot::scc_and_mark_filter
• filter_scc_and_mark_and_edges_() : spot::scc_and_mark_filter
• fin() : spot::acc_cond::acc_code, spot::acc_cond
• fin_neg() : spot::acc_cond::acc_code, spot::acc_cond
• fin_one() : spot::acc_cond::acc_code, spot::acc_cond
• fin_one_extract() : spot::acc_cond::acc_code, spot::acc_cond
• fin_unit() : spot::acc_cond::acc_code, spot::acc_cond
• fin_unit_one_split() : spot::acc_cond::acc_code, spot::acc_cond
• fin_unit_one_split_improved() : spot::acc_cond::acc_code, spot::acc_cond
• finalize() : spot::bfs_steps, spot::kripkecube_to_twa< State, SuccIterator, StateHash, StateEqual >, spot::lpar13< State, SuccIterator, StateHash, StateEqual >, spot::postprocessor, spot::swarmed_bloemen< State, SuccIterator, StateHash, StateEqual >, spot::swarmed_bloemen_ec< State, SuccIterator, StateHash, StateEqual >, spot::swarmed_cndfs< State, SuccIterator, StateHash, StateEqual >, spot::swarmed_deadlock< State, SuccIterator, StateHash, StateEqual, Deadlock >
• find() : spot::iterable_uf< State, StateHash, StateEqual >, spot::iterable_uf_ec< State, StateHash, StateEqual >
• finish_obligation_mtdswa() : spot::translator
• finisher() : spot::lpar13< State, SuccIterator, StateHash, StateEqual >, spot::swarmed_bloemen< State, SuccIterator, StateHash, StateEqual >, spot::swarmed_bloemen_ec< State, SuccIterator, StateHash, StateEqual >, spot::swarmed_cndfs< State, SuccIterator, StateHash, StateEqual >, spot::swarmed_deadlock< State, SuccIterator, StateHash, StateEqual, Deadlock >
• fins() : spot::rs_pairs_view
• fins_alone() : spot::rs_pairs_view
• first() : spot::kripke_graph_succ_iterator< Graph >, spot::taa_succ_iterator, spot::twa_graph_succ_iterator< Graph >, spot::twa_succ_iterator
• first_branch() : spot::acd, spot::zielonka_tree
• fixed_size_pool() : spot::fixed_size_pool< Kind >
• fixsize() : spot::multiple_size_pool
• flip() : spot::bitvect
• flip_all() : spot::bitvect
• force_inf() : spot::acc_cond::acc_code, spot::acc_cond
• foreach_set_index() : spot::bitvect
• format() : spot::formater
• format_errors() : spot::parsed_aut, spot::parsed_formula
• format_state() : spot::kripke_graph, spot::taa_tgba_labelled< label >, spot::twa, spot::twa_graph, spot::twa_product, spot::twa_univ_remover
• formula() : spot::formula
• formula_child_iterator() : spot::formula::formula_child_iterator
• formula_propeq_to_int() : spot::ltlf_translator, spot::simple_ltl_translator
• formula_propeq_to_terminal() : spot::ltlf_translator
• formula_propeq_to_terminal_bdd_as_int() : spot::ltlf_translator, spot::simple_ltl_translator
• formula_to_int() : spot::ltlf_translator, spot::simple_ltl_translator
• formula_to_terminal() : spot::ltlf_translator, spot::simple_ltl_translator
• formula_to_terminal_bdd() : spot::ltlf_translator, spot::simple_ltl_translator
• formula_to_terminal_bdd_as_int() : spot::ltlf_translator, spot::simple_ltl_translator
• freeze_state() : spot::backprop_graph
• from_repr_t() : spot::trival