Here is a list of all documented class members with links to the class documentation for each member:

- d -

• DeclareLocalVariable() : Smt2Driver
• DeclareVariable() : Context , DrDriver , Smt2Driver
• DefineFun() : Smt2Driver
• Differentiate() : Expression , ExpressionAbs , ExpressionAcos , ExpressionAdd , ExpressionAsin , ExpressionAtan2 , ExpressionAtan , ExpressionCell , ExpressionConstant , ExpressionCos , ExpressionCosh , ExpressionDiv , ExpressionExp , ExpressionIfThenElse , ExpressionLog , ExpressionMax , ExpressionMin , ExpressionMul , ExpressionNaN , ExpressionPow , ExpressionRealConstant , ExpressionSin , ExpressionSinh , ExpressionSqrt , ExpressionTan , ExpressionTanh , ExpressionUninterpretedFunction , ExpressionVar
• Display() : AssertCommand , CheckSatCommand , CommandCell
• display() : ContractorCell , ContractorFixpoint , ContractorForall< ContextType > , ContractorForallMt< ContextType > , ContractorIbexFwdbwd , ContractorIbexFwdbwdMt , ContractorIbexPolytope , ContractorIbexPolytopeMt , ContractorId , ContractorInteger , ContractorJoin , ContractorSeq , ContractorWorklistFixpoint
• Display() : ExpressionAbs , ExpressionAcos , ExpressionAdd , ExpressionAsin , ExpressionAtan2 , ExpressionAtan , ExpressionCell , ExpressionConstant , ExpressionCos , ExpressionCosh , ExpressionDiv , ExpressionExp , ExpressionIfThenElse , ExpressionLog , ExpressionMax , ExpressionMin , ExpressionMul , ExpressionNaN , ExpressionPow , ExpressionRealConstant , ExpressionSin , ExpressionSinh , ExpressionSqrt , ExpressionTan , ExpressionTanh , ExpressionUninterpretedFunction , ExpressionVar , FormulaAnd , FormulaCell , FormulaEq , FormulaFalse , FormulaForall , FormulaGeq , FormulaGt , FormulaLeq , FormulaLt , FormulaNeq , FormulaNot , FormulaOr , FormulaTrue , FormulaVar , EchoCommand , ExitCommand , GetAssertionsCommand , GetAssignmentCommand , GetInfoCommand , GetModelCommand , GetOptionCommand , GetProofCommand , GetUnsatAssumptionsCommand , GetUnsatCoreCommand , PopCommand , PushCommand , ResetAssertionsCommand , ResetCommand , SetInfoCommand , SetLogicCommand , SetOptionCommand
• DoEvaluate() : BinaryExpressionCell , UnaryExpressionCell
• domain() : Environment
• DrDriver() : DrDriver
• DrScanner() : DrScanner