Here is a list of all struct and union fields with links to the structures/unions they belong to:
- u -
- uint_value()
: stats
- uninterpreted_sort()
: context
- unit()
: expr
- units()
: solver
, Solver
- unsat_core()
: optimize
, solver
, Optimize
, Solver
- update_rule()
: fixedpoint
, Fixedpoint
- upper()
: optimize
, solver
, Optimize
, OptimizeObjective
, Solver
- upper_values()
: Optimize
, OptimizeObjective
- use_pp()
: Z3PPObject
- user_propagator_base()
: user_propagator_base