- s -

• sat_default_phase() : Config
• SatSolver() : SatSolver
• seconds() : Timer
• set_debug() : DrScanner , Smt2Scanner
• set_empty() : Box
• set_from_command_line() : OptionValue< T >
• set_from_file() : OptionValue< T >
• set_include_forall() : Contractor , ContractorCell
• SetInfo() : Context
• SetInterval() : Context
• SetLogic() : Context
• SetMinObjective() : NloptOptimizer
• SetOption() : Context
• SignalHandlerGuard() : SignalHandlerGuard
• size() : Box , Environment , Variables
• Smt2Driver() : Smt2Driver
• Smt2Scanner() : Smt2Scanner
• smtlib2_compliant() : Config
• Solve() : DrDriver
• stack_left_box_first() : Config
• start() : Timer
• Substitute() : 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 , Formula , FormulaAnd , FormulaCell , FormulaEq , FormulaFalse , FormulaForall , FormulaGeq , FormulaGt , FormulaLeq , FormulaLt , FormulaNeq , FormulaNot , FormulaOr , FormulaTrue , FormulaVar , Term