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

- f -

• f : spot::bdd_dict::bdd_info, spot::enumerate_cycles::dfs_entry, spot::parsed_formula
• 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
• filename : spot::parsed_aut
• filter_ : spot::scc_info
• filter_data_ : spot::scc_info
• fin : spot::acc_cond::rs_pair
• finisher : spot::ec_stats
• first_child : spot::zielonka_tree::zielonka_node
• force_obligation : spot::ltl_to_tgba_fm_otf::options
• force_order : spot::to_parity_options
• force_sbacc : spot::synthesis_info
• fuse_same_bdds : spot::ltlf_synthesis_options