- u -

• uint_value() : stats
• uninterpreted_sort() : context
• unsat_core() : solver , Solver
• unwrapAST() : Context
• UnwrapAST() : Context
• Update() : Expr
• update() : Expr
• update_rule() : Fixedpoint
• updateParamValue() : Context , Native
• UpdateParamValue() : Context
• updateRule() : Fixedpoint
• UpdateRule() : Fixedpoint
• updateTerm() : Native
• upper() : Optimize , optimize , OptimizeObjective
• use_pp() : Z3PPObject
• UsingParams() : Context
• usingParams() : Context