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
 CAttribute
 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
 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.HandleHandle to objectives returned by objective functions.
 COptimize.Handle
 Coptimize::handle
 CIComparable
 CIDecRefQueue< T extends Z3Object >
 CIDecRefQueueDecRefQueue interface
 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 >
 CIDisposable
 Ccontext::interpolation
 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
 CFuncDecl.ParameterFunction declarations can have Parameters associated with them.
 CParamsRefParameter Sets
 CProbe
 CInterpolationContext.ReadInterpolationProblemResult
 CReferenceQueue< T >
 CRuntimeException
 CScopedConstructor
 CScopedConstructorList
 Csolver::simple
 CStatisticsStatistics
 CStatus
 CTactic
 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
 CBigInteger
 Cboolean
 CCollections
 CCollections
 CCompilerServices
 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
 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
 CGeneric
 CGeneric
 CGeneric
 CHashMap
 CIdentityHashMap
 Cint
 CInteropServices
 CInteropServices
 CInteropServices
 CInteropServices
 CInteropServices
 CInteropServices
 CInteropServices
 CInteropServices
 CInteropServices
 CInteropServices
 CIntPtr
 Cio
 CLinq
 CLinq
 CLinq
 CLinq
 CLinq
 CLinq
 CLinq
 CLinq
 CLinq
 CLinq
 CLinq
 CLinq
 CLinq
 CLinq
 CLinq
 CLinq
 Clong
 CMap
 Cmath
 CNative.Z3_error_handler
 CNumerics
 CNumerics
 CNumerics
 CNumerics
 CNumerics
 Cof
 CPermissions
 CPhantomReference
 Creadonly bool
 Creadonly List< IntPtr >
 Creadonly Object
 Creadonly string
 Creadonly Z3_parameter_kind
 CReference
 CReferenceQueue
 CReflection
 Cstatic bool
 Cstatic final Object
 Cstatic Object
 Cstring
 CString
 Csys
 CSystem
 CT *
 CText
 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_param_descrs
 CZ3_params
 CZ3_probe
 CZ3_solver
 CZ3_stats
 CZ3_symbol
 CZ3_tactic
 Cz3core