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