- d -
- datatypeUpdateField()
: Native
- decl()
: expr
, ExprRef
- decl_kind()
: func_decl
- declare()
: Datatype
- declare_core()
: Datatype
- declare_var()
: Fixedpoint
- decls()
: ModelRef
- decRef()
: IDecRefQueue
, Native
- delConfig()
: Native
- delConstructor()
: Native
- delConstructorList()
: Native
- delContext()
: Native
- delLiterals()
: Native
- delModel()
: Native
- denominator()
: RatNumRef
- denominator_as_long()
: RatNumRef
- depth()
: goal
, Goal
- disableLiteral()
: Native
- disableTrace()
: Global
, Native
- dispose()
: Context
, IDisposable
, Z3Object
- Dispose()
: Context
, Z3Object
- domain()
: func_decl
, ArrayRef
, ArraySortRef
, FuncDeclRef
- double_value()
: stats