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 >
 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
 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 >
 Cast_vector_tpl< T >::iterator
 CLog
 CNative
 Cobject
 COptimizeObjectiveOptimize
 CParamDescrsRef
 CFuncDecl.Parameter
 CParamsRefParameter Sets
 CProbe
 CRuntimeException
 CScopedConstructor
 CScopedConstructorList
 Csolver::simple
 CStatisticsStatistics
 CStatus
 CTactic
 Cmodel::translate
 Csolver::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