Here is a list of all struct and union fields with links to the structures/unions they belong to:
- d -
- datatype() : context
- datatype_sort() : context
- datatypes() : context
- Decide : UserPropagator
- decide() : user_propagator_base, UserPropagateBase
- DecideEh() : UserPropagator
- decl() : expr, ExprRef
- decl_kind() : func_decl
- Declaration : NativeFuncInterp
- declare() : Datatype
- declare_core() : Datatype
- declare_var() : Fixedpoint
- DeclKind : FuncDecl
- Decls : Model, NativeModel
- decls() : ModelRef
- decRef() : ConstructorDecRefQueue, ConstructorListDecRefQueue, IDecRefQueue< T extends Z3Object >
- default() : ArrayRef
- Denominator : RatNum
- denominator() : expr, RatNumRef
- denominator_as_long() : RatNumRef
- Depth : Goal
- depth() : goal, Goal
- descr : ParamDescrsRef
- dimacs() : goal, solver, Goal, Solver
- disableTrace() : Global
- Diseq : UserPropagator
- diseq : UserPropagateBase
- Dispose() : Context, NativeContext, NativeModel, NativeSolver, Z3Object
- distinct : expr
- documentation() : param_descrs
- Domain : ArraySort, FuncDecl, NativeModel.ArrayValue
- domain() : func_decl, ArrayRef, ArraySortRef, FuncDeclRef
- domain_n() : ArrayRef, ArraySortRef
- DomainSize : FuncDecl
- Double : FuncDecl.Parameter, Model, NativeModel, RatNum
- double_value() : stats
- DoubleValue : Statistics.Entry
- Dup() : Expr