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

- u -

• UInt : BitVecNum , IntNum
• UInt64 : IntNum , BitVecNum
• uint_value() : stats
• UIntValue : Statistics.Entry
• uninterpreted_sort() : context
• UNKNOWN : Status
• unsat_core() : solver , Solver
• UnsatCore : Solver
• UNSATISFIABLE : Status
• unwrapAST() : Context
• UnwrapAST() : Context
• Update() : Expr
• update() : Expr
• update_rule() : Fixedpoint
• updateParamValue() : Native
• UpdateParamValue() : Context
• updateParamValue() : Context
• UpdateRule() : Fixedpoint
• updateRule() : Fixedpoint
• updateTerm() : Native
• upper() : OptimizeObjective , optimize
• Upper : Optimize.Handle
• upper() : Optimize
• use_pp() : Z3PPObject
• UsingParams() : Context
• usingParams() : Context