Z3 |

Here is a list of all struct and union fields with links to the structures/unions they belong to:

### - u -

- ubv_to_fpa : expr
- UInt : BitVecNum, FiniteDomainNum, IntNum
- UInt64 : BitVecNum, FiniteDomainNum, IntNum
- uint_value() : stats
- UIntValue : Statistics.Entry
- uninterpreted_sort() : context
- unit() : expr
- Units : Solver
- units() : solver, Solver
- UNKNOWN : Status
- unsat_core() : optimize, solver, Optimize, Solver
- UnsatCore : Optimize, Solver
- UNSATISFIABLE : Status
- unwrapAST() : Context
- UnwrapAST() : Context
- update() : Expr< R extends Sort >
- Update() : Expr
- update_rule() : fixedpoint, Fixedpoint
- updateParamValue() : Context
- UpdateParamValue() : Context
- updateRule() : Fixedpoint
- UpdateRule() : Fixedpoint
- Upper : Optimize.Handle
- upper() : optimize, Optimize, OptimizeObjective
- upper_values() : Optimize, OptimizeObjective
- UpperAsVector : Optimize.Handle
- use_pp() : Z3PPObject
- user_propagator_base() : user_propagator_base
- usingParams() : Context
- UsingParams() : Context