- d -
- datatypeUpdateField()
: Native
- decl()
: expr
, ExprRef
- decl_kind()
: func_decl
- declare()
: Datatype
- declare_core()
: Datatype
- declare_var()
: Fixedpoint
- decls()
: ModelRef
- decRef()
: ConstructorDecRefQueue
, ConstructorListDecRefQueue
, IDecRefQueue< T extends Z3Object >
, Native
- default()
: ArrayRef
- delConfig()
: Native
- delConstructor()
: Native
- delConstructorList()
: Native
- delContext()
: Native
- denominator()
: RatNumRef
- denominator_as_long()
: RatNumRef
- depth()
: goal
, Goal
- disableTrace()
: Global
, Native
- Dispose()
: Context
, Z3Object
- documentation()
: param_descrs
- domain()
: func_decl
, ArrayRef
, ArraySortRef
, FuncDeclRef
- double_value()
: stats