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

- s -

• SameDim() : dlinear::onnx::Tensor
• sat_default_phase() : dlinear::Config
• sat_solver() : dlinear::Config
• SatSolver() : dlinear::SatSolver
• scanner() : dlinear::mps::MpsDriver, dlinear::smt2::Smt2Driver, dlinear::vnnlib::VnnlibDriver
• seconds() : dlinear::TimerBase< T >
• Set() : dlinear::BitIncrementIterator
• set_debug() : dlinear::mps::MpsScanner, dlinear::smt2::Smt2Scanner, dlinear::vnnlib::VnnlibScanner
• set_empty() : dlinear::Box
• set_strict_mps() : dlinear::mps::MpsDriver
• SetBounds() : dlinear::BoundVector
• SetDomain() : dlinear::Context::Impl
• SetFixed() : dlinear::BitIncrementIterator
• SetFromCommandLine() : dlinear::OptionValue< T >
• SetFromFile() : dlinear::OptionValue< T >
• SetInfinityBounds() : dlinear::BoundPreprocessor
• SetInfo() : dlinear::Context::Impl, dlinear::Context, dlinear::Driver
• SetInterval() : dlinear::Context::Impl, dlinear::Context
• SetLogic() : dlinear::Context::Impl, dlinear::Context, dlinear::Driver
• SetLowerBound() : dlinear::BoundVector
• SetOption() : dlinear::Context::Impl, dlinear::Context, dlinear::Driver
• SetQsxVarCoeff() : dlinear::QsoptexTheorySolver
• SetQsxVarObjCoeff() : dlinear::QsoptexTheorySolver
• SetRowCoeff() : dlinear::QsoptexTheorySolver
• SetSPXVarCoeff() : dlinear::SoplexTheorySolver
• SetUpperBound() : dlinear::BoundVector
• silent() : dlinear::Config
• simplex_sat_phase() : dlinear::Config
• Size() : dlinear::Graph< T, W, EdgeHash, EdgeEqual >
• size() : dlinear::BoundIterator, dlinear::Box, dlinear::drake::symbolic::Environment, dlinear::drake::symbolic::Variables, dlinear::onnx::Tensor, dlinear::qsopt_ex::MpqArray, dlinear::SortedVector< T, Compare >
• skip_check_sat() : dlinear::Config
• Slice() : dlinear::onnx::Tensor
• Smt2Driver() : dlinear::smt2::Smt2Driver
• Smt2Scanner() : dlinear::smt2::Smt2Scanner
• SmtSolver() : dlinear::SmtSolver
• SmtSolverOutput() : dlinear::SmtSolverOutput
• soi() : dlinear::PiecewiseLinearConstraint
• SoiToObjFunction() : dlinear::NNSoplexTheorySolver
• SortedVector() : dlinear::SortedVector< T, Compare >
• SpxCheckSat() : dlinear::CompleteSoplexTheorySolver
• Start() : dlinear::TimerBase< T >
• state() : dlinear::PiecewiseLinearConstraint
• Stats() : dlinear::Stats
• stats() : dlinear::BoundPreprocessor, dlinear::Driver, dlinear::GenericExpressionVisitor< Result, Args >, dlinear::GenericFormulaVisitor< Result, Args >, dlinear::SatSolver, dlinear::TheorySolver
• StoreTemporaryMpq() : dlinear::BoundPreprocessor
• stream_name() : dlinear::Driver
• strict_mps() : dlinear::mps::MpsDriver
• Substitute() : 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, dlinear::drake::symbolic::Formula, dlinear::smt2::Term, dlinear::vnnlib::Term