- f -

• final_translate_result : ilang::smt::SmtlibInvariantParser
• first : ilang::KeyVecIt< Key, T >
• flatten_datatype : ilang::smt::YosysSmtParser
• fn_l_map : ilang::VerilogModifier
• ForceInstCheckReset : ilang::VlgVerifTgtGenBase::_vtg_config
• free_vars : ilang::smt::SmtlibInvariantParser
• func_body : ilang::smt::func_def_t
• func_cnt : ilang::VlgSglTgtGen
• func_module : ilang::smt::func_def_t
• func_name : ilang::smt::func_def_t , ilang::VerilogGeneratorBase::function_app_t
• func_ptr_set : ilang::VerilogGeneratorBase