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

- e -

• E() : dlinear::drake::symbolic::Expression
• elapsed() : dlinear::TimerBase< T >
• Elementwise() : dlinear::onnx::Tensor
• EliminateBooleanVariables() : dlinear::smt2::Smt2Driver, dlinear::vnnlib::VnnlibDriver
• emplace() : dlinear::SortedVector< T, Compare >
• empty() : dlinear::BoundIterator, dlinear::Box, dlinear::drake::symbolic::Environment, dlinear::drake::symbolic::Variables, dlinear::ScopedUnorderedSet< Key, Hash, KeyEqual, Allocator >, dlinear::SortedVector< T, Compare >
• enabled() : dlinear::Stats
• enabled_literals() : dlinear::TheorySolver
• EnableLiteral() : dlinear::BoundPreprocessor, dlinear::CompleteSoplexTheorySolver, dlinear::DeltaQsoptexTheorySolver, dlinear::DeltaSoplexTheorySolver, dlinear::NNSoplexTheorySolver, dlinear::TheorySolver
• EnableLiterals() : dlinear::BoundPreprocessor, dlinear::TheorySolver
• EnableNqLiteral() : dlinear::CompleteSoplexTheorySolver
• EnableNqLiterals() : dlinear::CompleteSoplexTheorySolver
• EnableQsxRow() : dlinear::DeltaQsoptexTheorySolver, dlinear::QsoptexTheorySolver
• EnableQsxVarBound() : dlinear::QsoptexTheorySolver
• EnableSpxRow() : dlinear::CompleteSoplexTheorySolver, dlinear::DeltaSoplexTheorySolver, dlinear::NNSoplexTheorySolver, dlinear::SoplexTheorySolver
• EnableSpxVarBound() : dlinear::CompleteSoplexTheorySolver, dlinear::SoplexTheorySolver
• End() : dlinear::mps::MpsDriver
• end() : dlinear::BoundIterator, dlinear::drake::symbolic::Environment, dlinear::drake::symbolic::Variables
• enforce_check_sat() : dlinear::Config
• env() : dlinear::BoundPreprocessor
• Environment() : dlinear::drake::symbolic::Environment
• Equal() : dlinear::onnx::Tensor
• equal_to() : dlinear::drake::symbolic::Variable
• EqualTo() : dlinear::drake::symbolic::BinaryExpressionCell, dlinear::drake::symbolic::Expression, dlinear::drake::symbolic::ExpressionAdd, dlinear::drake::symbolic::ExpressionCell, dlinear::drake::symbolic::ExpressionConstant, dlinear::drake::symbolic::ExpressionIfThenElse, dlinear::drake::symbolic::ExpressionInfty, dlinear::drake::symbolic::ExpressionMul, dlinear::drake::symbolic::ExpressionNaN, dlinear::drake::symbolic::ExpressionUninterpretedFunction, dlinear::drake::symbolic::ExpressionVar, dlinear::drake::symbolic::Formula, dlinear::drake::symbolic::UnaryExpressionCell
• erase() : dlinear::drake::symbolic::Environment, dlinear::drake::symbolic::Variables, dlinear::SortedVector< T, Compare >
• erase_value() : dlinear::SortedVector< T, Compare >
• Error() : dlinear::Driver
• error() : dlinear::mps::MpsDriver, dlinear::smt2::Smt2Driver, dlinear::vnnlib::VnnlibDriver
• Evaluate() : dlinear::drake::symbolic::BinaryExpressionCell, dlinear::drake::symbolic::Expression, dlinear::drake::symbolic::ExpressionAdd, dlinear::drake::symbolic::ExpressionCell, dlinear::drake::symbolic::ExpressionConstant, dlinear::drake::symbolic::ExpressionIfThenElse, dlinear::drake::symbolic::ExpressionInfty, dlinear::drake::symbolic::ExpressionMul, dlinear::drake::symbolic::ExpressionNaN, dlinear::drake::symbolic::ExpressionUninterpretedFunction, dlinear::drake::symbolic::ExpressionVar, dlinear::drake::symbolic::Formula, dlinear::drake::symbolic::UnaryExpressionCell
• EvaluatePartial() : dlinear::drake::symbolic::Expression
• Exit() : dlinear::Context, dlinear::Driver
• exit_code() : dlinear::SmtSolverOutput
• Expand() : 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
• explanation() : dlinear::BoundIterator
• explanations() : dlinear::BoundIterator
• Expression() : dlinear::drake::symbolic::Expression
• expression() : dlinear::smt2::Term, dlinear::vnnlib::Term
• ExpressionAdd() : dlinear::drake::symbolic::ExpressionAdd
• ExpressionAddFactory() : dlinear::drake::symbolic::ExpressionAddFactory
• ExpressionCell() : dlinear::drake::symbolic::ExpressionCell
• ExpressionEvaluator() : dlinear::ExpressionEvaluator
• ExpressionIfThenElse() : dlinear::drake::symbolic::ExpressionIfThenElse
• ExpressionMul() : dlinear::drake::symbolic::ExpressionMul
• ExpressionMulFactory() : dlinear::drake::symbolic::ExpressionMulFactory
• ExpressionUninterpretedFunction() : dlinear::drake::symbolic::ExpressionUninterpretedFunction
• ExpressionVar() : dlinear::drake::symbolic::ExpressionVar
• ExtractEqBoundCoefficient() : dlinear::BoundPreprocessor
• ExtractModel() : dlinear::Context::Impl