Z3
Class Hierarchy

Go to the graphical class hierarchy

This inheritance list is sorted roughly, but not completely, alphabetically:
[detail level 123456]
 Carray< T >
 Cast_vector_tpl< T >
 Cast_vector_tpl< expr >
 CAstMap
 CAutoCloseable
 Ccast_ast< T >
 Ccast_ast< ast >
 Ccast_ast< expr >
 Ccast_ast< func_decl >
 Ccast_ast< sort >
 CCheckSatResult
 CComparable
 CconfigZ3 global configuration object
 CcontextA Context manages all other Z3 objects, global configuration options, etc
 CContext
 Csolver::cube_generator
 Csolver::cube_iterator
 CDatatype
 CStatistics.Entry
 Cexception
 CFuncEntry
 CGlobal
 Coptimize::handle
 CIDecRefQueue< T extends Z3Object >
 CIDecRefQueue< ApplyResult >
 CIDecRefQueue< AST >
 CIDecRefQueue< ASTMap >
 CIDecRefQueue< ASTVector >
 CIDecRefQueue< Constructor >
 CIDecRefQueue< ConstructorList >
 CIDecRefQueue< Fixedpoint >
 CIDecRefQueue< FuncInterp >
 CIDecRefQueue< FuncInterp.Entry >
 CIDecRefQueue< Goal >
 CIDecRefQueue< Model >
 CIDecRefQueue< Optimize >
 CIDecRefQueue< ParamDescrs >
 CIDecRefQueue< Params >
 CIDecRefQueue< Probe >
 CIDecRefQueue< Solver >
 CIDecRefQueue< Statistics >
 CIDecRefQueue< Tactic >
 Cast_vector_tpl< T >::iterator
 CLog
 CMap< Integer, com.microsoft.z3.enumerations.Z3_ast_kind >
 CMap< Integer, com.microsoft.z3.enumerations.Z3_ast_print_mode >
 CMap< Integer, com.microsoft.z3.enumerations.Z3_decl_kind >
 CMap< Integer, com.microsoft.z3.enumerations.Z3_error_code >
 CMap< Integer, com.microsoft.z3.enumerations.Z3_goal_prec >
 CMap< Integer, com.microsoft.z3.enumerations.Z3_lbool >
 CMap< Integer, com.microsoft.z3.enumerations.Z3_param_kind >
 CMap< Integer, com.microsoft.z3.enumerations.Z3_parameter_kind >
 CMap< Integer, com.microsoft.z3.enumerations.Z3_sort_kind >
 CMap< Integer, com.microsoft.z3.enumerations.Z3_symbol_kind >
 CMap< PhantomReference< T >, Long >
 CNative
 Cobject
 COptimizeObjectiveOptimize
 CParamDescrsRef
 CFuncDecl.Parameter
 CParamsRefParameter Sets
 CProbe
 CReferenceQueue< T >
 CRuntimeException
 CScopedConstructor
 CScopedConstructorList
 Csolver::simple
 CStatisticsStatistics
 CStatus
 CTactic
 Csolver::translate
 Cmodel::translate
 CVersion
 CZ3_ast_kind
 CZ3_ast_print_mode
 CZ3_decl_kind
 CZ3_error_code
 CZ3_goal_prec
 CZ3_lbool
 CZ3_param_kind
 CZ3_parameter_kind
 CZ3_sort_kind
 CZ3_symbol_kind
 CZ3Object
 CZ3PPObjectASTs base class
 CBigInteger
 Cbool
 Cboolean
 Ccopy
 Cdouble
 Cfinal int
 Cfinal long
 CFraction
 CHashMap
 CIdentityHashMap
 Cint
 Cio
 Clong
 CMap
 Cmath
 Cof
 CPhantomReference
 CReference
 CReferenceQueue
 Crounding_mode
 Cstatic final Object
 CString
 Cstring
 Csys
 CT *
 Cunsigned
 CZ3_apply_result
 CZ3_ast
 CZ3_ast_vector
 CZ3_config
 CZ3_context
 CZ3_fixedpoint
 CZ3_func_entry
 CZ3_func_interp
 CZ3_goal
 CZ3_model
 CZ3_optimize
 CZ3_param_descrs
 CZ3_params
 CZ3_probe
 CZ3_solver
 CZ3_stats
 CZ3_symbol
 CZ3_tactic
 Cz3core