- d -
- decl()
: expr
, ExprRef
- decl_kind()
: func_decl
- declare()
: Datatype
- declare_core()
: Datatype
- declare_var()
: Fixedpoint
- decls()
: ModelRef
- default()
: ArrayRef
- denominator()
: expr
, RatNumRef
- denominator_as_long()
: RatNumRef
- depth()
: goal
, Goal
- dimacs()
: goal
, solver
, Goal
, Solver
- documentation()
: param_descrs
- domain()
: func_decl
, ArrayRef
, ArraySortRef
, FuncDeclRef
- domain_n()
: ArrayRef
, ArraySortRef
- double_value()
: stats