This inheritance list is sorted roughly, but not completely, alphabetically:

[detail level 12345]

Carray< T >
CAstMap
Ccast_ast< T >
Ccast_ast< ast >
Ccast_ast< expr >
Ccast_ast< func_decl >
Ccast_ast< sort >
CCheckSatResult
Cconfig	Z3 global configuration object
Cconstructor_list
Cconstructors
Ccontext	A Context manages all other Z3 objects, global configuration options, etc
CContext
Csolver::cube_generator
Csolver::cube_iterator
CDatatype
►Cexception
Cexception	Exception used to sign API usage errors
CFuncEntry
Coptimize::handle
Cast_vector_tpl< T >::iterator
Cexpr::iterator
►Cobject
Cast_vector_tpl< expr >
Capply_result
►Cast
Cexpr	A Z3 expression is used to represent formulas and terms. For Z3, a formula is any expression of sort Boolean. Every expression has a sort
Cfunc_decl	Function declaration (aka function definition). It is the signature of interpreted and uninterpreted functions in Z3. The basic building block in Z3 is the function application
Csort	A Z3 sort (aka type). Every expression (i.e., formula or term) in Z3 has a sort
Cast_vector_tpl< T >
Cfixedpoint
Cfunc_entry
Cfunc_interp
Cgoal
Cmodel
Coptimize
Cparam_descrs
Cparams
Cprobe
Csimplifier
Csolver
Cstats
Csymbol
Ctactic
Con_clause
COnClause
COptimizeObjective	Optimize
CParamDescrsRef
Cparameter	Class for auxiliary parameters associated with func_decl The class is initialized with a func_decl or application expression and an index The accessor get_expr, get_sort, ... is available depending on the value of kind(). The caller is responsible to check that the kind of the parameter aligns with the call (get_expr etc)
CParamsRef	Parameter Sets
CParserContext
CProbe
CPropClosures
Crcf_num	Wrapper for Z3 Real Closed Field (RCF) numerals
CScopedConstructor
CScopedConstructorList
Csolver::simple
CSimplifier
CStatistics	Statistics
CTactic
Coptimize::translate
Cmodel::translate
Csolver::translate
Cuser_propagator_base
CUserPropagateBase
►CZ3PPObject	ASTs base class
CApplyResult
►CAstRef
►CExprRef	Expressions
►CArithRef
CAlgebraicNumRef
CIntNumRef
CRatNumRef
CArrayRef
►CBitVecRef
CBitVecNumRef
►CBoolRef
CQuantifierRef	Quantifiers
CCharRef
CDatatypeRef
►CFiniteDomainRef
CFiniteDomainNumRef
►CFPRef
CFPNumRef
CFPRMRef
CPatternRef	Patterns
CReRef
CSeqRef
CFuncDeclRef	Function Declarations
►CSortRef
CArithSortRef	Arithmetic
CArraySortRef	Arrays
CBitVecSortRef	Bit-Vectors
CBoolSortRef	Booleans
CCharSortRef
CDatatypeSortRef
CFiniteDomainSortRef
CFPRMSortRef
CFPSortRef
CReSortRef
CSeqSortRef	Strings, Sequences and Regular expressions
CTypeVarRef
CAstVector
CFixedpoint	Fixedpoint
CFuncInterp
CGoal
CModelRef
COptimize
CSolver
Cbool
CCallable
Ccopy
CFraction
Cfunction< bool(expr const &, expr const &)>
Cfunction< void(expr const &)>
Cfunction< void(expr const &, expr const &)>
Cfunction< void(expr const &proof, std::vector< unsigned > const &deps, expr_vector const &clause)>
Cfunction< void(expr, unsigned, bool)>
Cfunction< void(void)>
Cio
CIterable
CIterator
Cmath
Crounding_mode
Cstring
Csys
Cunique_ptr< T[]>
Cunsigned
Cvector< unsigned >
Cvector< z3::z3::context * >
Cvector< Z3_constructor >
CZ3_apply_result
CZ3_ast
CZ3_ast_vector
CZ3_config
CZ3_constructor_list
CZ3_context
CZ3_fixedpoint
CZ3_func_entry
CZ3_func_interp
CZ3_goal
CZ3_model
CZ3_optimize
CZ3_param_descrs
CZ3_parameter_kind
CZ3_params
CZ3_probe
CZ3_rcf_num
CZ3_simplifier
CZ3_solver
CZ3_solver_callback
CZ3_stats
CZ3_symbol
CZ3_tactic
Cz3core