Here is a list of all functions with links to the structures/unions they belong to:

- 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