- d -
- DatatypeExpr()
: DatatypeExpr
- DatatypeSort()
: DatatypeSort
- decl()
: expr
, ExprRef
- decl_kind()
: func_decl
- declare()
: Datatype
- declare_core()
: Datatype
- declare_var()
: Fixedpoint
- decls()
: ModelRef
- decRef()
: ASTMap
, ParamDescrsDecRefQueue
, Params
, ASTMapDecRefQueue
, Z3Object
, TacticDecRefQueue
, ParamsDecRefQueue
, Probe
, Statistics
, SolverDecRefQueue
, ASTVector
, ProbeDecRefQueue
, Solver
, ASTVectorDecRefQueue
, Fixedpoint
, StatisticsDecRefQueue
, ParamDescrs
, ModelDecRefQueue
, Model
, Tactic
, GoalDecRefQueue
, Goal
, FixedpointDecRefQueue
, FuncInterp.Entry
, FuncInterp
, ApplyResult
, FuncInterpDecRefQueue
, FuncInterpEntryDecRefQueue
, ApplyResultDecRefQueue
, AST
, IDecRefQueue
, ASTDecRefQueue
- denominator()
: RatNumRef
- denominator_as_long()
: RatNumRef
- depth()
: goal
, Goal
- Dispose()
: Context
, Z3Object
- dispose()
: Context
, Z3Object
, IDisposable
- domain()
: ArrayRef
, func_decl
, ArraySortRef
, FuncDeclRef
- double_value()
: stats