- 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() : RatNumRef
• denominator_as_long() : RatNumRef
• depth() : goal , Goal
• disableTrace() : Global
• Dispose() : Context , Z3Object
• documentation() : param_descrs
• domain() : func_decl , ArrayRef , ArraySortRef , FuncDeclRef
• double_value() : stats