Here is a list of all struct and union fields with links to the structures/unions they belong to:

- d -

• decl() : expr , ExprRef
• decl_kind() : func_decl
• declare() : Datatype
• declare_core() : Datatype
• declare_var() : Fixedpoint
• DeclKind : FuncDecl
• Decls : Model
• decls() : ModelRef
• decRef() : ConstructorDecRefQueue , ConstructorListDecRefQueue , IDecRefQueue< T extends Z3Object >
• default() : ArrayRef
• Denominator : RatNum
• denominator() : RatNumRef
• denominator_as_long() : RatNumRef
• Depth : Goal
• depth() : goal , Goal
• descr : ParamDescrsRef
• disableTrace() : Global
• Dispose() : Context , Z3Object
• distinct : expr
• documentation() : param_descrs
• Domain : ArraySort , FuncDecl
• domain() : func_decl , ArrayRef , ArraySortRef , FuncDeclRef
• DomainSize : FuncDecl
• Double : FuncDecl.Parameter
• double_value() : stats
• DoubleValue : Statistics.Entry