Here is a list of all documented namespace functions with links to the namespaces they belong to:

- f -

• fg_safety_to_dca() : spot
• fg_safety_to_dca_maybe() : spot
• fix_utf8_locations() : spot
• fnv_hash() : spot
• formula_to_bdd() : spot
• from_ltlf() : spot