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

- d -

• debug_parsing() : dlinear::Config
• debug_scanning() : dlinear::Config
• DeclareLocalVariable() : dlinear::smt2::Smt2Driver, dlinear::vnnlib::VnnlibDriver
• DeclareVariable() : dlinear::Context, dlinear::Context::Impl, dlinear::smt2::Smt2Driver, dlinear::vnnlib::VnnlibDriver
• DefineFun() : dlinear::smt2::Smt2Driver, dlinear::vnnlib::VnnlibDriver
• DefineLocalConstant() : dlinear::smt2::Smt2Driver, dlinear::vnnlib::VnnlibDriver
• DFS() : dlinear::Graph< T, W, EdgeHash, EdgeEqual >
• Differentiate() : dlinear::drake::symbolic::Expression, dlinear::drake::symbolic::ExpressionAbs, dlinear::drake::symbolic::ExpressionAcos, dlinear::drake::symbolic::ExpressionAdd, dlinear::drake::symbolic::ExpressionAsin, dlinear::drake::symbolic::ExpressionAtan2, dlinear::drake::symbolic::ExpressionAtan, dlinear::drake::symbolic::ExpressionCell, dlinear::drake::symbolic::ExpressionConstant, dlinear::drake::symbolic::ExpressionCos, dlinear::drake::symbolic::ExpressionCosh, dlinear::drake::symbolic::ExpressionDiv, dlinear::drake::symbolic::ExpressionExp, dlinear::drake::symbolic::ExpressionIfThenElse, dlinear::drake::symbolic::ExpressionInfty, dlinear::drake::symbolic::ExpressionLog, dlinear::drake::symbolic::ExpressionMax, dlinear::drake::symbolic::ExpressionMin, dlinear::drake::symbolic::ExpressionMul, dlinear::drake::symbolic::ExpressionNaN, dlinear::drake::symbolic::ExpressionPow, dlinear::drake::symbolic::ExpressionSin, dlinear::drake::symbolic::ExpressionSinh, dlinear::drake::symbolic::ExpressionSqrt, dlinear::drake::symbolic::ExpressionTan, dlinear::drake::symbolic::ExpressionTanh, dlinear::drake::symbolic::ExpressionUninterpretedFunction, dlinear::drake::symbolic::ExpressionVar
• dim() : dlinear::onnx::Tensor
• dims() : dlinear::onnx::Tensor
• disable_expansion() : dlinear::Config
• DisableNqLiterals() : dlinear::CompleteSoplexTheorySolver
• DisableQsxRows() : dlinear::QsoptexTheorySolver
• DisableSpxRows() : dlinear::SoplexTheorySolver
• Display() : dlinear::drake::symbolic::ExpressionAbs, dlinear::drake::symbolic::ExpressionAcos, dlinear::drake::symbolic::ExpressionAdd, dlinear::drake::symbolic::ExpressionAsin, dlinear::drake::symbolic::ExpressionAtan2, dlinear::drake::symbolic::ExpressionAtan, dlinear::drake::symbolic::ExpressionCell, dlinear::drake::symbolic::ExpressionConstant, dlinear::drake::symbolic::ExpressionCos, dlinear::drake::symbolic::ExpressionCosh, dlinear::drake::symbolic::ExpressionDiv, dlinear::drake::symbolic::ExpressionExp, dlinear::drake::symbolic::ExpressionIfThenElse, dlinear::drake::symbolic::ExpressionInfty, dlinear::drake::symbolic::ExpressionLog, dlinear::drake::symbolic::ExpressionMax, dlinear::drake::symbolic::ExpressionMin, dlinear::drake::symbolic::ExpressionMul, dlinear::drake::symbolic::ExpressionNaN, dlinear::drake::symbolic::ExpressionPow, dlinear::drake::symbolic::ExpressionSin, dlinear::drake::symbolic::ExpressionSinh, dlinear::drake::symbolic::ExpressionSqrt, dlinear::drake::symbolic::ExpressionTan, dlinear::drake::symbolic::ExpressionTanh, dlinear::drake::symbolic::ExpressionUninterpretedFunction, dlinear::drake::symbolic::ExpressionVar
• DoEvaluate() : dlinear::drake::symbolic::BinaryExpressionCell, dlinear::drake::symbolic::ExpressionAbs, dlinear::drake::symbolic::ExpressionAcos, dlinear::drake::symbolic::ExpressionAsin, dlinear::drake::symbolic::ExpressionAtan2, dlinear::drake::symbolic::ExpressionAtan, dlinear::drake::symbolic::ExpressionCos, dlinear::drake::symbolic::ExpressionCosh, dlinear::drake::symbolic::ExpressionDiv, dlinear::drake::symbolic::ExpressionExp, dlinear::drake::symbolic::ExpressionLog, dlinear::drake::symbolic::ExpressionMax, dlinear::drake::symbolic::ExpressionMin, dlinear::drake::symbolic::ExpressionPow, dlinear::drake::symbolic::ExpressionSin, dlinear::drake::symbolic::ExpressionSinh, dlinear::drake::symbolic::ExpressionSqrt, dlinear::drake::symbolic::ExpressionTan, dlinear::drake::symbolic::ExpressionTanh, dlinear::drake::symbolic::UnaryExpressionCell
• domain() : dlinear::drake::symbolic::Environment
• Driver() : dlinear::Driver