Here is a list of all functions with links to the structures/unions they belong to:

### - d -

- Datatype() : CVC4::Datatype
- dataType() : CVC3::ValidityChecker
- datatypeConsExpr() : CVC3::ValidityChecker
- DatatypeConstructor() : CVC4::DatatypeConstructor
- DatatypeDeclarationCommand() : CVC4::DatatypeDeclarationCommand
- datatypeOf() : CVC4::Datatype
- DatatypeResolutionException() : CVC4::DatatypeResolutionException
- datatypeSelExpr() : CVC3::ValidityChecker
- datatypeTestExpr() : CVC3::ValidityChecker
- DatatypeType() : CVC4::DatatypeType
- DatatypeUnresolvedType() : CVC4::DatatypeUnresolvedType
- debugPickleTest() : CVC4::expr::pickle::Pickler
- DeclarationDefinitionCommand() : CVC4::DeclarationDefinitionCommand
- DeclareFunctionCommand() : CVC4::DeclareFunctionCommand
- DeclareTypeCommand() : CVC4::DeclareTypeCommand
- defineFunction() : CVC4::parser::Parser, CVC4::SmtEngine
- DefineFunctionCommand() : CVC4::DefineFunctionCommand
- DefineNamedFunctionCommand() : CVC4::DefineNamedFunctionCommand
- defineParameterizedType() : CVC4::parser::Parser
- defineType() : CVC4::parser::Parser
- DefineTypeCommand() : CVC4::DefineTypeCommand
- defineVar() : CVC4::parser::Parser
- disableChecks() : CVC4::parser::Parser
- disableEverything() : CVC4::LogicInfo
- disableIntegers() : CVC4::LogicInfo
- disableQuantifiers() : CVC4::LogicInfo
- disableReals() : CVC4::LogicInfo
- disableStrictMode() : CVC4::parser::Parser
- disableTheory() : CVC4::LogicInfo
- disallowIncludeFile() : CVC4::parser::Parser
- display() : CVC3::CLFlag
- distinctExpr() : CVC3::ValidityChecker
- divByPow2() : CVC4::Integer
- divideExpr() : CVC3::ValidityChecker
- divides() : CVC4::Integer
- Divisible() : CVC4::Divisible
- done() : CVC4::parser::Parser