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

- s -

• sat_ : dlinear::CadicalSatSolver
• sat_solver_ : dlinear::Context::Impl
• sat_stats : dlinear::SmtSolverOutput
• sat_to_var_ : dlinear::SatSolver
• scanner_ : dlinear::mps::MpsDriver, dlinear::smt2::Smt2Driver, dlinear::vnnlib::VnnlibDriver
• scope_constants_ : dlinear::smt2::Smt2Driver, dlinear::vnnlib::VnnlibDriver
• scope_functions_ : dlinear::smt2::Smt2Driver, dlinear::vnnlib::VnnlibDriver
• scope_variables_ : dlinear::smt2::Smt2Driver, dlinear::vnnlib::VnnlibDriver
• single_nq_rows_ : dlinear::CompleteSoplexTheorySolver
• skip_lower_bound_ : dlinear::mps::MpsDriver
• smt_solver_timer : dlinear::SmtSolverOutput
• soplex_hash_ : dlinear::ArgParser
• spx_ : dlinear::SoplexTheorySolver
• spx_cols_ : dlinear::SoplexTheorySolver
• spx_rhs_ : dlinear::SoplexTheorySolver
• spx_rows_ : dlinear::SoplexTheorySolver
• spx_sense_ : dlinear::SoplexTheorySolver
• stack_ : dlinear::Context::Impl
• starting_vector_ : dlinear::BitIncrementIterator
• state_ : dlinear::PiecewiseLinearConstraint
• stats_ : dlinear::BoundPreprocessor, dlinear::Driver, dlinear::GenericExpressionVisitor< Result, Args >, dlinear::GenericFormulaVisitor< Result, Args >, dlinear::SatSolver, dlinear::TheorySolver
• stream_name_ : dlinear::Driver
• strict_col_lb_ : dlinear::CompleteSoplexTheorySolver
• strict_col_ub_ : dlinear::CompleteSoplexTheorySolver
• strict_mps_ : dlinear::mps::MpsDriver