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

- f -

• f() : spot::acc_cond::acc_code, spot::bdd_dict::bdd_info, spot::enumerate_cycles::dfs_entry
• F() : spot::formula
• f : spot::parsed_formula
• fair_kripke() : spot::fair_kripke
• fair_kripke_succ_iterator() : spot::fair_kripke_succ_iterator
• fair_loop_approx : spot::ltl_to_tgba_fm_otf::options
• fair_loop_approx_ : spot::language_containment_checker
• favor_event_univ : spot::tl_simplifier_options
• fd() : spot::open_temporary_file
• fd_ : spot::open_temporary_file
• ff() : spot::fnode, spot::formula
• filename : spot::parsed_aut
• fill() : spot::acc_cond::mark_t
• filter() : spot::bfs_steps
• filter_ : spot::scc_info
• filter_data_ : spot::scc_info
• 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, spot::acc_cond::rs_pair
• 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::ec_stats, 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
• first_child : spot::zielonka_tree::zielonka_node
• 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
• force_obligation : spot::ltl_to_tgba_fm_otf::options
• force_order : spot::to_parity_options
• force_sbacc : spot::synthesis_info
• 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
• fuse_same_bdds : spot::ltlf_synthesis_options
• fv_map : spot::bdd_dict