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

- o -

• object() : object
• Objectives : Optimize
• objectives() : optimize , Optimize
• of() : Quantifier
• open() : Log
• operator !() : BoolExpr
• operator !=() : AST , FuncDecl , Sort , Symbol
• operator &() : BoolExpr , expr , tactic
• operator && : expr , probe
• operator *() : ArithExpr , expr
• operator -() : ArithExpr
• operator >() : ArithExpr
• operator >=() : ArithExpr
• operator ^() : BoolExpr
• operator bool() : ast
• operator Z3_app() : expr
• operator Z3_apply_result() : apply_result
• operator Z3_ast() : ast
• operator Z3_ast_vector() : ast_vector_tpl< T >
• operator Z3_config() : config
• operator Z3_context() : context
• operator Z3_func_decl() : func_decl
• operator Z3_func_entry() : func_entry
• operator Z3_func_interp() : func_interp
• operator Z3_goal() : goal
• operator Z3_model() : model
• operator Z3_optimize() : optimize
• operator Z3_params() : params
• operator Z3_probe() : probe
• operator Z3_solver() : solver
• operator Z3_sort() : sort
• operator Z3_stats() : stats
• operator Z3_symbol() : symbol
• operator Z3_tactic() : tactic
• operator! : expr , probe
• operator!= : expr
• operator()() : cast_ast< ast > , cast_ast< expr > , cast_ast< func_decl > , cast_ast< sort > , func_decl , probe , tactic
• operator+() : ArithExpr , expr
• operator- : expr
• operator/() : ArithExpr , expr
• operator<() : ArithExpr , expr , probe
• operator<< : apply_result , ast , ast_vector_tpl< T > , exception , goal , model , optimize , params , solver , stats , symbol
• operator<=() : ArithExpr , expr , probe
• operator=() : apply_result , ast , ast_vector_tpl< T > , expr , func_decl , func_entry , func_interp , goal , model , param_descrs , params , probe , solver , sort , stats , symbol , tactic
• operator==() : AST , FuncDecl , Sort , Symbol , expr , probe
• operator> : expr , probe
• operator>= : expr , probe
• operator[]() : apply_result , array< T > , ast_vector_tpl< T > , goal , model
• operator^ : expr
• operator|() : BoolExpr , expr , tactic
• operator|| : expr , probe
• operator~ : expr
• optimize() : optimize , Optimize
• Optimize_DRQ : Context
• or() : Context
• Or() : Context
• orElse() : Context
• OrElse() : Context