- f -

• false_node : ilasynth::BoolConst
• fetchExpr : ilasynth::Abstraction
• fetchValid : ilasynth::Abstraction
• fetchVars : ilasynth::BoogieTranslator
• func_to_node_dict : ilasynth::FuncReduction
• funcReducer : ilasynth::Abstraction
• FuncReductor : ilasynth::ImExport
• FunctionAsModule : ilasynth::VerilogExport
• funs : ilasynth::Abstraction