- f -
- fact()
: Fixedpoint
- final()
: user_propagator_base
- fixed()
: user_propagator_base
- fixedpoint()
: fixedpoint
- fpa_const()
: context
- fpa_ebits()
: sort
- fpa_inf()
: context
- fpa_nan()
: context
- fpa_rounding_mode()
: context
- fpa_rounding_mode_sort()
: context
- fpa_sbits()
: sort
- fpa_sort()
: context
- fpa_val()
: context
- fresh()
: user_propagator_base
, UserPropagateBase
- from_file()
: fixedpoint
, optimize
, solver
, Optimize
, Solver
- from_string()
: fixedpoint
, optimize
, solver
, ExprRef
, Optimize
, Solver
- func_decl()
: func_decl
- func_entry()
: func_entry
- func_interp()
: func_interp
- function()
: context