- s -

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