Z3
Class Hierarchy

Go to the graphical class hierarchy

This inheritance list is sorted roughly, but not completely, alphabetically:
[detail level 123456]
 Carray< T >
 CAstMap
 CAutoCloseable
 Ccast_ast< T >
 Ccast_ast< ast >
 Ccast_ast< expr >
 Ccast_ast< func_decl >
 Ccast_ast< sort >
 CInterpolationContext.CheckInterpolantResult
 CCheckSatResult
 CComparable
 CInterpolationContext.ComputeInterpolantResult
 CconfigZ3 global configuration object
 CcontextA Context manages all other Z3 objects, global configuration options, etc
 CContext
 CDatatype
 CStatistics.Entry
 CexceptionException used to sign API usage errors
 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 >
 Ccontext::interpolation
 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
 CInterpolationContext.ReadInterpolationProblemResult
 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
 CFraction
 CHashMap
 CIdentityHashMap
 Cint
 Cio
 Clong
 CMap
 Cmath
 Cof
 CPhantomReference
 CReference
 CReferenceQueue
 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