- s -

• SBits : FPExpr , FPSort
• Sign : FPNum
• Significand : FPNum
• SignificandUInt64 : FPNum
• SimplifyParameterDescriptions : Context
• Size : BitVecSort , FiniteDomainSort , Goal , ParamDescrs , Statistics , ASTVector
• SMTLIBAssumptions : Context
• SMTLIBDecls : Context
• SMTLIBFormulas : Context
• SMTLIBSorts : Context
• Solver : Tactic
• Solver_DRQ : Context
• Sort : FuncDecl.Parameter , Expr
• SortKind : Sort
• Sorts : Model
• SortSize : BitVecExpr
• Statistics : Optimize , Solver , Fixedpoint
• Statistics_DRQ : Context
• String : StringSymbol
• Subgoals : ApplyResult
• Symbol : FuncDecl.Parameter