Here is a list of all struct and union fields with links to the structures/unions they belong to:
- d -
- datatype() : context
- datatype_sort() : context
- datatypes() : context
- decide() : user_propagator_base, UserPropagateBase
- 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
- descr : ParamDescrsRef
- dimacs() : goal, solver, Goal, Solver
- diseq : UserPropagateBase
- distinct : expr
- documentation() : param_descrs
- domain() : func_decl, ArrayRef, ArraySortRef, FuncDeclRef
- domain_n() : ArrayRef, ArraySortRef
- double_value() : stats