Z3 |

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() : expr, RatNumRef
- denominator_as_long() : RatNumRef
- Depth : Goal
- depth() : goal, Goal
- descr : ParamDescrsRef
- dimacs() : goal, solver, Goal, Solver
- disableTrace() : Global
- diseq : UserPropagateBase
- Dispose() : Context, Z3Object
- distinct : expr
- documentation() : param_descrs
- Domain : ArraySort, FuncDecl
- domain() : func_decl, ArrayRef, ArraySortRef, FuncDeclRef
- DomainSize : FuncDecl
- Double : FuncDecl.Parameter, Model, RatNum
- double_value() : stats
- DoubleValue : Statistics.Entry