- u -

• ubvtos() : expr
• uint_value() : stats
• uninterpreted_sort() : context
• unit() : expr
• units() : solver , Solver
• unsat_core() : optimize , solver , Optimize , Solver
• update() : expr , ExprRef
• update_field() : expr , DatatypeRef
• update_rule() : fixedpoint , Fixedpoint
• update_value() : ModelRef
• upper() : optimize , Optimize , OptimizeObjective
• upper_values() : Optimize , OptimizeObjective
• use_pp() : Z3PPObject
• user_propagate_function() : context
• user_propagator_base() : user_propagator_base
• using_params() : Simplifier