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
 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
 CDeprecatedThe main interaction with Z3 happens via the Context.
 CStatistics.EntryStatistical data is organized into pairs of [Key, Entry], where every Entry is either a DoubleEntry or a UIntEntry
 CStatistics.Entry
 CException
 CexceptionException used to sign API usage errors
 CFuncEntry
 CGlobal
 COptimize.Handle
 Coptimize::handle
 COptimize.HandleHandle to objectives returned by objective functions.
 CIComparable
 CIDecRefQueueDecRefQueue interface
 CIDecRefQueue
 CIDisposable
 CIDisposable
 CNative.LIB
 CLinkedList< Long >
 CLog
 CNative
 CNative
 Cobject
 COptimizeObjectiveOptimize
 CParamDescrsRef
 CFuncDecl.ParameterFunction declarations can have Parameters associated with them.
 CFuncDecl.Parameter
 CParamsRefParameter Sets
 CProbe
 CInterpolationContext.ReadInterpolationProblemResult
 CRuntimeException
 CScopedConstructor
 CScopedConstructorList
 CStatisticsStatistics
 CStatus
 CTactic
 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
 CZ3PPObjectASTs base class
 CBigInteger
 Cboolean
 CCollections
 CCollections
 CCompilerServices
 Cconst string
 CContracts
 CContracts
 CContracts
 CContracts
 CContracts
 CContracts
 CContracts
 CContracts
 CContracts
 CContracts
 CContracts
 CContracts
 CContracts
 CContracts
 CContracts
 CContracts
 CContracts
 CContracts
 CContracts
 CContracts
 CContracts
 CContracts
 CContracts
 CContracts
 CContracts
 CContracts
 CContracts
 CContracts
 CContracts
 CContracts
 CContracts
 CContracts
 CContracts
 CContracts
 CContracts
 CContracts
 CContracts
 CContracts
 CContracts
 CContracts
 CContracts
 CContracts
 CContracts
 CContracts
 CContracts
 CContracts
 CContracts
 CContracts
 CContracts
 CContracts
 CContracts
 CContracts
 CContracts
 CContracts
 CContracts
 CContracts
 CContracts
 CContracts
 CContracts
 CContracts
 CContracts
 CContracts
 CContracts
 CContracts
 Cdouble
 Cfinal int
 CFraction
 CGeneric
 CGeneric
 CGeneric
 CGeneric
 CGeneric
 CGeneric
 CGeneric
 CGeneric
 CGeneric
 CGeneric
 CGeneric
 CGeneric
 CGeneric
 CGeneric
 CGeneric
 CGeneric
 CGeneric
 CGeneric
 Cint
 CInteropServices
 CInteropServices
 CInteropServices
 CInteropServices
 CInteropServices
 CInteropServices
 CInteropServices
 CInteropServices
 CInteropServices
 CInteropServices
 CInteropServices
 CIntPtr
 Cio
 CLinkedList
 CLinq
 CLinq
 CLinq
 CLinq
 CLinq
 CLinq
 CLinq
 CLinq
 CLinq
 CLinq
 CLinq
 CLinq
 Clong
 CMap
 CNumerics
 CNumerics
 CNumerics
 CNumerics
 CObject
 CPermissions
 Creadonly bool
 Creadonly List< IntPtr >
 Creadonly Object
 Creadonly string
 Creadonly Z3_parameter_kind
 CReflection
 Cstatic bool
 CString
 Cstring
 Csys
 CSystem
 CT *
 CText
 CText
 CText
 CText
 CText
 CText
 CText
 CText
 CText
 CText
 CText
 CText
 CText
 CThreading
 CThreading
 Cuint
 Cunsigned
 CZ3_apply_result
 CZ3_ast
 CZ3_ast_vector
 CZ3_config
 CZ3_context
 CZ3_func_entry
 CZ3_func_interp
 CZ3_goal
 CZ3_model
 CZ3_optimize
 CZ3_params
 CZ3_probe
 CZ3_solver
 CZ3_stats
 CZ3_symbol
 CZ3_tactic