- f -

• FAILURE : symbols.h
• FAILURE_ARRAY_OUT_OF_BOUNDS : ErrorMgr.h
• FAILURE_CASE_NOT_EXHAUSTIVE : ErrorMgr.h
• FAILURE_DIV_BY_ZERO : ErrorMgr.h
• FAILURE_UNSPECIFIED : ErrorMgr.h
• FAIRNESS : symbols.h
• false : defs.h
• FALSEEXP : symbols.h
• Flattener_Expand_Def_Mode : MasterCompileFlattener.h
• Flattener_Get_Def_Mode : MasterCompileFlattener.h
• FLOOR : symbols.h
• FORWARD : opt.h
• FORWARD_BACKWARD : opt.h
• Frozen_Functions_Instantiation_Mode : compile.h
• Frozen_Variables_Instantiation_Mode : compile.h
• FROZENVAR : symbols.h
• FSM_TYPE_BDD : fsm.h
• FSM_TYPE_BE : fsm.h
• FSM_TYPE_BOOL_SEXP : fsm.h
• FSM_TYPE_SEXP : fsm.h
• FUN : symbols.h