sbv-8.4: SMT Based Verification: Symbolic Haskell theorem prover using SMT solving.

Index - S

S 
1 (Type/Class)Documentation.SBV.Examples.Crypto.RC4
2 (Type/Class)Documentation.SBV.Examples.ProofTools.BMC
3 (Data Constructor)Documentation.SBV.Examples.ProofTools.BMC
4 (Type/Class)Documentation.SBV.Examples.ProofTools.Fibonacci
5 (Data Constructor)Documentation.SBV.Examples.ProofTools.Fibonacci
6 (Type/Class)Documentation.SBV.Examples.ProofTools.Strengthen
7 (Data Constructor)Documentation.SBV.Examples.ProofTools.Strengthen
8 (Type/Class)Documentation.SBV.Examples.ProofTools.Sum
9 (Data Constructor)Documentation.SBV.Examples.ProofTools.Sum
10 (Type/Class)Documentation.SBV.Examples.WeakestPreconditions.IntSqrt
11 (Type/Class)Documentation.SBV.Examples.WeakestPreconditions.Length
12 (Type/Class)Documentation.SBV.Examples.WeakestPreconditions.Sum
s 
1 (Function)Documentation.SBV.Examples.ProofTools.Sum
2 (Function)Documentation.SBV.Examples.WeakestPreconditions.Sum
safe 
1 (Function)Data.SBV.Trans
2 (Function)Data.SBV
SafeResult 
1 (Type/Class)Data.SBV.Trans, Data.SBV, Data.SBV.Dynamic
2 (Data Constructor)Data.SBV.Trans, Data.SBV, Data.SBV.Dynamic
safeWith 
1 (Function)Data.SBV.Trans
2 (Function)Data.SBV
3 (Function)Data.SBV.Dynamic
sailorsDocumentation.SBV.Examples.Existentials.Diophantine
sAllData.SBV.Trans, Data.SBV.Internals, Data.SBV
sAndData.SBV.Trans, Data.SBV.Internals, Data.SBV
sAnyData.SBV.Trans, Data.SBV.Internals, Data.SBV
SArrData.SBV.Dynamic
SArray 
1 (Type/Class)Data.SBV.Trans, Data.SBV.Internals, Data.SBV
2 (Data Constructor)Data.SBV.Internals
sAssertData.SBV.Trans, Data.SBV
Sat 
1 (Data Constructor)Data.SBV.Trans.Control, Data.SBV.Control
2 (Data Constructor)Documentation.SBV.Examples.Optimization.Enumerate
sat 
1 (Function)Data.SBV.Trans
2 (Function)Data.SBV
satCmdData.SBV.Trans, Data.SBV.Internals, Data.SBV, Data.SBV.Dynamic
SatExtFieldData.SBV.Trans, Data.SBV.Internals, Data.SBV, Data.SBV.Dynamic
SatisfiableData.SBV.Trans, Data.SBV.Internals, Data.SBV, Data.SBV.Dynamic
SatModelData.SBV.Trans, Data.SBV
SatResult 
1 (Type/Class)Data.SBV.Trans, Data.SBV, Data.SBV.Dynamic
2 (Data Constructor)Data.SBV.Trans, Data.SBV, Data.SBV.Dynamic
satTrackUFsData.SBV.Trans, Data.SBV.Internals, Data.SBV, Data.SBV.Dynamic
SaturdayDocumentation.SBV.Examples.Queries.Enums
satWith 
1 (Function)Data.SBV.Trans
2 (Function)Data.SBV
3 (Function)Data.SBV.Dynamic
satWithAll 
1 (Function)Data.SBV.Trans, Data.SBV
2 (Function)Data.SBV.Dynamic
satWithAny 
1 (Function)Data.SBV.Trans, Data.SBV
2 (Function)Data.SBV.Dynamic
SaveTimingData.SBV.Trans, Data.SBV.Internals, Data.SBV
SBDocumentation.SBV.Examples.Uninterpreted.Deduce
sBarrelRotateLeftData.SBV.Trans, Data.SBV
sBarrelRotateRightData.SBV.Trans, Data.SBV
sbinData.SBV.Internals
sbinIData.SBV.Internals
SBinOpDocumentation.SBV.Examples.Queries.FourFours
SBoolData.SBV.Trans, Data.SBV.Internals, Data.SBV
sBool 
1 (Function)Data.SBV.Trans
2 (Function)Data.SBV
sBools 
1 (Function)Data.SBV.Trans
2 (Function)Data.SBV
sBool_Data.SBV
sboxDocumentation.SBV.Examples.Crypto.AES
sboxInverseCorrectDocumentation.SBV.Examples.Crypto.AES
sboxTableDocumentation.SBV.Examples.Crypto.AES
SButtonDocumentation.SBV.Examples.Puzzles.HexPuzzle
SBV 
1 (Type/Class)Data.SBV.Trans, Data.SBV.Internals, Data.SBV
2 (Data Constructor)Data.SBV.Internals
SBVAppData.SBV.Internals
sbvAvailableSolversData.SBV.Trans, Data.SBV, Data.SBV.Dynamic
sbvCheckSolverInstallationData.SBV.Trans, Data.SBV, Data.SBV.Dynamic
SBVCodeGen 
1 (Type/Class)Data.SBV.Tools.CodeGen, Data.SBV.Internals, Data.SBV.Dynamic
2 (Data Constructor)Data.SBV.Internals
SBVException 
1 (Type/Class)Data.SBV.Trans, Data.SBV
2 (Data Constructor)Data.SBV.Trans, Data.SBV
sbvExceptionConfigData.SBV.Trans, Data.SBV
sbvExceptionDescriptionData.SBV.Trans, Data.SBV
sbvExceptionExitCodeData.SBV.Trans, Data.SBV
sbvExceptionExpectedData.SBV.Trans, Data.SBV
sbvExceptionHintData.SBV.Trans, Data.SBV
sbvExceptionReasonData.SBV.Trans, Data.SBV
sbvExceptionReceivedData.SBV.Trans, Data.SBV
sbvExceptionSentData.SBV.Trans, Data.SBV
sbvExceptionStdErrData.SBV.Trans, Data.SBV
sbvExceptionStdOutData.SBV.Trans, Data.SBV
SBVExprData.SBV.Internals
SBVPgm 
1 (Type/Class)Data.SBV.Internals
2 (Data Constructor)Data.SBV.Internals
sbvQuickCheckData.SBV.Trans, Data.SBV
SBVRunModeData.SBV.Internals
sbvToSVData.SBV.Internals
sbvToSymSVData.SBV.Internals
SBVType 
1 (Type/Class)Data.SBV.Internals
2 (Data Constructor)Data.SBV.Internals
sbvUninterpretData.SBV.Trans, Data.SBV
sCaseDocumentation.SBV.Examples.Queries.FourFours
SCharData.SBV.Trans, Data.SBV.Internals, Data.SBV
sChar 
1 (Function)Data.SBV.Trans
2 (Function)Data.SBV
sChars 
1 (Function)Data.SBV.Trans
2 (Function)Data.SBV
sChar_Data.SBV
SColorDocumentation.SBV.Examples.Puzzles.HexPuzzle
sCountLeadingZerosData.SBV.Trans, Data.SBV
sCountTrailingZerosData.SBV.Trans, Data.SBV
scriptBodyData.SBV.Internals
scriptModelData.SBV.Internals
sCrossTimeDocumentation.SBV.Examples.Puzzles.U2Bridge
SDay 
1 (Type/Class)Documentation.SBV.Examples.Optimization.Enumerate
2 (Type/Class)Documentation.SBV.Examples.Queries.Enums
sDivData.SBV.Trans, Data.SBV
SDivisibleData.SBV.Trans, Data.SBV
sDivModData.SBV.Trans, Data.SBV
SDoubleData.SBV.Trans, Data.SBV.Internals, Data.SBV
sDouble 
1 (Function)Data.SBV.Trans
2 (Function)Data.SBV
sDoubleAsComparableSWord64Data.SBV.Internals
sDoubleAsSWord64Data.SBV.Trans, Data.SBV
sDoubles 
1 (Function)Data.SBV.Trans
2 (Function)Data.SBV
sDouble_Data.SBV
SEDocumentation.SBV.Examples.Misc.Enumerate
searchDocumentation.SBV.Examples.Puzzles.HexPuzzle
secondData.SBV.Either
SEitherData.SBV.Internals, Data.SBV
sEitherData.SBV
sEithersData.SBV
sEither_Data.SBV
selectData.SBV.Trans, Data.SBV
selectReDocumentation.SBV.Examples.Strings.SQLInjection
sElemData.SBV.Trans, Data.SBV
sendMoreMoneyDocumentation.SBV.Examples.Puzzles.SendMoreMoney
sendRequestToSolverData.SBV.Internals
sendStringToSolverData.SBV.Internals
SeqData.SBV.Tools.WeakestPreconditions
SeqConcatData.SBV.Internals
SeqContainsData.SBV.Internals
SeqIndexOfData.SBV.Internals
SeqLenData.SBV.Internals
SeqNthData.SBV.Internals
SeqOp 
1 (Type/Class)Data.SBV.Internals
2 (Data Constructor)Data.SBV.Internals
SeqPrefixOfData.SBV.Internals
SeqReplaceData.SBV.Internals
SeqSubseqData.SBV.Internals
SeqSuffixOfData.SBV.Internals
SeqUnitData.SBV.Internals
setBitData.SBV.Trans, Data.SBV
setBitToData.SBV.Trans, Data.SBV
setFlagDocumentation.SBV.Examples.BitPrecise.Legato
SetInfoData.SBV.Trans.Control, Data.SBV.Control
setInfoData.SBV.Trans, Data.SBV.Internals, Data.SBV
SetLogicData.SBV.Trans.Control, Data.SBV.Control
setLogicData.SBV.Trans, Data.SBV.Internals, Data.SBV
SetOpData.SBV.Internals
setOptionData.SBV.Trans, Data.SBV.Internals, Data.SBV
setRegDocumentation.SBV.Examples.BitPrecise.Legato
setTimeOutData.SBV.Trans, Data.SBV.Internals, Data.SBV
setupData.SBV.Tools.WeakestPreconditions
SExecutableData.SBV.Trans, Data.SBV
sexprToValData.SBV.Trans.Control, Data.SBV.Control
sExtractBitsData.SBV.Trans, Data.SBV
sFalseData.SBV.Trans, Data.SBV.Internals, Data.SBV
SFiniteBitsData.SBV.Trans, Data.SBV
sFiniteBitSizeData.SBV.Trans, Data.SBV
SFloatData.SBV.Trans, Data.SBV.Internals, Data.SBV
sFloat 
1 (Function)Data.SBV.Trans
2 (Function)Data.SBV
sFloatAsComparableSWord32Data.SBV.Internals
sFloatAsSWord32Data.SBV.Trans, Data.SBV
sFloats 
1 (Function)Data.SBV.Trans
2 (Function)Data.SBV
sFloat_Data.SBV
sFromIntegralData.SBV.Trans, Data.SBV
sFromIntegralCheckedData.SBV.Tools.Overflow
sFromIntegralOData.SBV.Tools.Overflow
SFunArrData.SBV.Dynamic
SFunArray 
1 (Type/Class)Data.SBV.Trans, Data.SBV.Internals, Data.SBV
2 (Data Constructor)Data.SBV.Internals
sgcdDocumentation.SBV.Examples.CodeGeneration.GCD
sgcdIsCorrectDocumentation.SBV.Examples.CodeGeneration.GCD
SHA 
1 (Type/Class)Documentation.SBV.Examples.Crypto.SHA
2 (Data Constructor)Documentation.SBV.Examples.Crypto.SHA
sha224Documentation.SBV.Examples.Crypto.SHA
sha224PDocumentation.SBV.Examples.Crypto.SHA
sha256Documentation.SBV.Examples.Crypto.SHA
sha256PDocumentation.SBV.Examples.Crypto.SHA
sha384Documentation.SBV.Examples.Crypto.SHA
sha384PDocumentation.SBV.Examples.Crypto.SHA
sha512Documentation.SBV.Examples.Crypto.SHA
sha512PDocumentation.SBV.Examples.Crypto.SHA
sha512_224Documentation.SBV.Examples.Crypto.SHA
sha512_224PDocumentation.SBV.Examples.Crypto.SHA
sha512_256Documentation.SBV.Examples.Crypto.SHA
sha512_256PDocumentation.SBV.Examples.Crypto.SHA
shaConstantsDocumentation.SBV.Examples.Crypto.SHA
shaLoopCountDocumentation.SBV.Examples.Crypto.SHA
shannonDocumentation.SBV.Examples.Uninterpreted.Shannon
shannon2Documentation.SBV.Examples.Uninterpreted.Shannon
shaPDocumentation.SBV.Examples.Crypto.SHA
shexData.SBV.Internals
shexIData.SBV.Internals
shiftData.SBV.Trans, Data.SBV
shiftLData.SBV.Trans, Data.SBV
shiftLeftDocumentation.SBV.Examples.CodeGeneration.Uninterpreted
shiftRData.SBV.Trans, Data.SBV
ShlData.SBV.Internals
showCDoubleData.SBV.Internals
showCFloatData.SBV.Internals
showHashDocumentation.SBV.Examples.Crypto.SHA
showHDoubleData.SBV.Internals
showHFloatData.SBV.Internals
showModelData.SBV.Internals
showPolyData.SBV.Tools.Polynomial
showPolynomialData.SBV.Tools.Polynomial
showSMTDoubleData.SBV.Internals
showSMTFloatData.SBV.Internals
showTDiffData.SBV.Internals
showTypeData.SBV.Trans, Data.SBV.Internals, Data.SBV, Data.SBV.Dynamic
ShrData.SBV.Internals
SIDocumentation.SBV.Examples.Misc.SetAlgebra
sigma0Documentation.SBV.Examples.Crypto.SHA
sigma0CoefficientsDocumentation.SBV.Examples.Crypto.SHA
sigma1Documentation.SBV.Examples.Crypto.SHA
sigma1CoefficientsDocumentation.SBV.Examples.Crypto.SHA
signExtendData.SBV.Trans, Data.SBV
sInfinityData.SBV.Trans, Data.SBV.Internals, Data.SBV
singleton 
1 (Function)Data.SBV.String
2 (Function)Data.SBV.Set
3 (Function)Data.SBV.List
SIntData.SBV
sInt 
1 (Function)Data.SBV.Trans
2 (Function)Data.SBV
SInt16Data.SBV.Trans, Data.SBV.Internals, Data.SBV
sInt16 
1 (Function)Data.SBV.Trans
2 (Function)Data.SBV
sInt16s 
1 (Function)Data.SBV.Trans
2 (Function)Data.SBV
sInt16_Data.SBV
SInt32Data.SBV.Trans, Data.SBV.Internals, Data.SBV
sInt32 
1 (Function)Data.SBV.Trans
2 (Function)Data.SBV
sInt32s 
1 (Function)Data.SBV.Trans
2 (Function)Data.SBV
sInt32_Data.SBV
SInt64Data.SBV.Trans, Data.SBV.Internals, Data.SBV
sInt64 
1 (Function)Data.SBV.Trans
2 (Function)Data.SBV
sInt64s 
1 (Function)Data.SBV.Trans
2 (Function)Data.SBV
sInt64_Data.SBV
SInt8Data.SBV.Trans, Data.SBV.Internals, Data.SBV
sInt8 
1 (Function)Data.SBV.Trans
2 (Function)Data.SBV
sInt8s 
1 (Function)Data.SBV.Trans
2 (Function)Data.SBV
sInt8_Data.SBV
SIntegerData.SBV.Trans, Data.SBV.Internals, Data.SBV
sInteger 
1 (Function)Data.SBV.Trans
2 (Function)Data.SBV
sIntegers 
1 (Function)Data.SBV.Trans
2 (Function)Data.SBV
sInteger_Data.SBV
SIntegralData.SBV.Trans, Data.SBV
sIntNData.SBV.Dynamic
sIntN_Data.SBV.Dynamic
sInts 
1 (Function)Data.SBV.Trans
2 (Function)Data.SBV
sInt_Data.SBV
sJustData.SBV.Maybe
SkipData.SBV.Tools.WeakestPreconditions
sLeftData.SBV.Either
SListData.SBV.Trans, Data.SBV.Internals, Data.SBV
sList 
1 (Function)Data.SBV.Trans
2 (Function)Data.SBV
sLists 
1 (Function)Data.SBV.Trans
2 (Function)Data.SBV
sList_Data.SBV
SLocationDocumentation.SBV.Examples.Puzzles.U2Bridge
smaxData.SBV.Trans, Data.SBV
SMaybeData.SBV.Internals, Data.SBV
sMaybeData.SBV
sMaybesData.SBV
sMaybe_Data.SBV
sminData.SBV.Trans, Data.SBV
sModData.SBV.Trans, Data.SBV
SMTConfig 
1 (Type/Class)Data.SBV.Trans, Data.SBV.Internals, Data.SBV, Data.SBV.Dynamic
2 (Data Constructor)Data.SBV.Trans, Data.SBV.Internals, Data.SBV, Data.SBV.Dynamic
SMTErrorBehaviorData.SBV.Trans.Control, Data.SBV.Control
SMTInfoFlagData.SBV.Trans.Control, Data.SBV.Control
SMTInfoResponseData.SBV.Trans.Control, Data.SBV.Control
SMTLib2Data.SBV.Trans, Data.SBV.Internals, Data.SBV, Data.SBV.Dynamic
SMTLibPgm 
1 (Type/Class)Data.SBV.Internals
2 (Data Constructor)Data.SBV.Internals
smtLibPgmData.SBV.Internals
smtLibReservedNamesData.SBV.Internals
SMTLibVersionData.SBV.Trans, Data.SBV.Internals, Data.SBV, Data.SBV.Dynamic
smtLibVersionData.SBV.Trans, Data.SBV.Internals, Data.SBV, Data.SBV.Dynamic
smtLibVersionExtensionData.SBV.Internals
SMTModeData.SBV.Internals
SMTModel 
1 (Type/Class)Data.SBV.Internals
2 (Data Constructor)Data.SBV.Internals
SMTOptionData.SBV.Trans.Control, Data.SBV.Control
SMTProblem 
1 (Type/Class)Data.SBV.Internals
2 (Data Constructor)Data.SBV.Internals
SMTReasonUnknownData.SBV.Trans, Data.SBV
SMTResultData.SBV.Trans, Data.SBV.Internals, Data.SBV, Data.SBV.Dynamic
smtRoundingModeData.SBV.Internals
SMTScript 
1 (Type/Class)Data.SBV.Internals
2 (Data Constructor)Data.SBV.Internals
SMTSolver 
1 (Type/Class)Data.SBV.Trans, Data.SBV.Internals, Data.SBV, Data.SBV.Dynamic
2 (Data Constructor)Data.SBV.Trans, Data.SBV.Internals, Data.SBV, Data.SBV.Dynamic
SMTValueData.SBV.Trans.Control, Data.SBV.Control
SMTVerbosityData.SBV.Trans.Control, Data.SBV.Control
sName 
1 (Function)Data.SBV.Trans
2 (Function)Data.SBV
sName_ 
1 (Function)Data.SBV.Trans
2 (Function)Data.SBV
sNaNData.SBV.Trans, Data.SBV.Internals, Data.SBV
snoc 
1 (Function)Data.SBV.String
2 (Function)Data.SBV.List
sNotData.SBV.Trans, Data.SBV.Internals, Data.SBV
sNothingData.SBV.Maybe
sObserveData.SBV
softConstrainData.SBV.Trans, Data.SBV.Internals, Data.SBV
Solution 
1 (Type/Class)Documentation.SBV.Examples.Existentials.Diophantine
2 (Type/Class)Documentation.SBV.Examples.Puzzles.NQueens
solve 
1 (Function)Data.SBV.Trans
2 (Function)Data.SBV
solveAllDocumentation.SBV.Examples.Puzzles.Sudoku
solveCrosswordDocumentation.SBV.Examples.Strings.RegexCrossword
solveEuler185Documentation.SBV.Examples.Puzzles.Euler185
solveNDocumentation.SBV.Examples.Puzzles.U2Bridge
SolverData.SBV.Trans, Data.SBV.Internals, Data.SBV, Data.SBV.Dynamic
solverData.SBV.Trans, Data.SBV.Internals, Data.SBV, Data.SBV.Dynamic
SolverCapabilities 
1 (Type/Class)Data.SBV.Internals
2 (Data Constructor)Data.SBV.Internals
SolverContextData.SBV.Internals
solverSetOptionsData.SBV.Trans, Data.SBV.Internals, Data.SBV, Data.SBV.Dynamic
solveU2Documentation.SBV.Examples.Puzzles.U2Bridge
sOrData.SBV.Trans, Data.SBV.Internals, Data.SBV
sPopCountData.SBV.Trans, Data.SBV
SportDocumentation.SBV.Examples.Puzzles.Fish
SQLExprDocumentation.SBV.Examples.Strings.SQLInjection
SqrtDocumentation.SBV.Examples.Queries.FourFours
sqrtDocumentation.SBV.Examples.WeakestPreconditions.IntSqrt
SqrtS 
1 (Type/Class)Documentation.SBV.Examples.WeakestPreconditions.IntSqrt
2 (Data Constructor)Documentation.SBV.Examples.WeakestPreconditions.IntSqrt
sQuotData.SBV.Trans, Data.SBV
sQuotRemData.SBV.Trans, Data.SBV
SRealData.SBV.Trans, Data.SBV.Internals, Data.SBV
sReal 
1 (Function)Data.SBV.Trans
2 (Function)Data.SBV
sReals 
1 (Function)Data.SBV.Trans
2 (Function)Data.SBV
sRealToSIntegerData.SBV.Trans, Data.SBV
sReal_Data.SBV
sRemData.SBV.Trans, Data.SBV
sRightData.SBV.Either
sRNAData.SBV.Trans, Data.SBV.Internals, Data.SBV
sRNEData.SBV.Trans, Data.SBV.Internals, Data.SBV
sRotateLeftData.SBV.Trans, Data.SBV
sRotateRightData.SBV.Trans, Data.SBV
SRoundingModeData.SBV.Trans, Data.SBV.Internals, Data.SBV
sRoundNearestTiesToAwayData.SBV.Trans, Data.SBV.Internals, Data.SBV
sRoundNearestTiesToEvenData.SBV.Trans, Data.SBV.Internals, Data.SBV
sRoundTowardNegativeData.SBV.Trans, Data.SBV.Internals, Data.SBV
sRoundTowardPositiveData.SBV.Trans, Data.SBV.Internals, Data.SBV
sRoundTowardZeroData.SBV.Trans, Data.SBV.Internals, Data.SBV
sRTNData.SBV.Trans, Data.SBV.Internals, Data.SBV
sRTPData.SBV.Trans, Data.SBV.Internals, Data.SBV
sRTZData.SBV.Trans, Data.SBV.Internals, Data.SBV
SSetData.SBV.Internals, Data.SBV
sSetData.SBV
sSetsData.SBV
sSet_Data.SBV
sShiftLeftData.SBV.Trans, Data.SBV
sShiftRightData.SBV.Trans, Data.SBV
sSignedShiftArithRightData.SBV.Trans, Data.SBV
SStateDocumentation.SBV.Examples.Lists.BoundedMutex
SStringData.SBV.Trans, Data.SBV.Internals, Data.SBV
sString 
1 (Function)Data.SBV.Trans
2 (Function)Data.SBV
sStrings 
1 (Function)Data.SBV.Trans
2 (Function)Data.SBV
sString_Data.SBV
stabilityData.SBV.Tools.WeakestPreconditions
StableData.SBV.Tools.WeakestPreconditions
stableData.SBV.Tools.WeakestPreconditions
startDocumentation.SBV.Examples.Puzzles.U2Bridge
State 
1 (Type/Class)Data.SBV.Internals
2 (Type/Class)Documentation.SBV.Examples.Crypto.AES
3 (Type/Class)Documentation.SBV.Examples.Lists.BoundedMutex
statementReDocumentation.SBV.Examples.Strings.SQLInjection
Status 
1 (Type/Class)Data.SBV.Tools.WeakestPreconditions
2 (Type/Class)Documentation.SBV.Examples.Puzzles.U2Bridge
3 (Data Constructor)Documentation.SBV.Examples.Puzzles.U2Bridge
sTestBitData.SBV.Trans, Data.SBV
STimeDocumentation.SBV.Examples.Puzzles.U2Bridge
StmtData.SBV.Tools.WeakestPreconditions
StrConcatData.SBV.Internals
StrContainsData.SBV.Internals
STreeData.SBV.Tools.STree
StrIndexOfData.SBV.Internals
StrInReData.SBV.Internals
StrLenData.SBV.Internals
StrNatToStrData.SBV.Internals
StrNthData.SBV.Internals
StrOp 
1 (Type/Class)Data.SBV.Internals
2 (Data Constructor)Data.SBV.Internals
StrPrefixOfData.SBV.Internals
strReDocumentation.SBV.Examples.Strings.SQLInjection
StrReplaceData.SBV.Internals
StrStrToNatData.SBV.Internals
StrSubstrData.SBV.Internals
StrSuffixOfData.SBV.Internals
strToCharAtData.SBV.String
strToNatData.SBV.String
strToStrAtData.SBV.String
sTrueData.SBV.Trans, Data.SBV.Internals, Data.SBV
StrUnitData.SBV.Internals
StuckData.SBV.Tools.WeakestPreconditions
STupleData.SBV.Internals, Data.SBV
sTupleData.SBV
STuple2Data.SBV.Internals, Data.SBV
STuple3Data.SBV.Internals, Data.SBV
STuple4Data.SBV.Internals, Data.SBV
STuple5Data.SBV.Internals, Data.SBV
STuple6Data.SBV.Internals, Data.SBV
STuple7Data.SBV.Internals, Data.SBV
STuple8Data.SBV.Internals, Data.SBV
sTuplesData.SBV
sTuple_Data.SBV
SU2MemberDocumentation.SBV.Examples.Puzzles.U2Bridge
subListData.SBV.List
subStrData.SBV.String
sudokuDocumentation.SBV.Examples.Puzzles.Sudoku
sum0Documentation.SBV.Examples.Crypto.SHA
sum0CoefficientsDocumentation.SBV.Examples.Crypto.SHA
sum1Documentation.SBV.Examples.Crypto.SHA
sum1CoefficientsDocumentation.SBV.Examples.Crypto.SHA
sumCorrectDocumentation.SBV.Examples.ProofTools.Sum
SumS 
1 (Type/Class)Documentation.SBV.Examples.WeakestPreconditions.Sum
2 (Data Constructor)Documentation.SBV.Examples.WeakestPreconditions.Sum
SunDocumentation.SBV.Examples.Optimization.Enumerate
SundayDocumentation.SBV.Examples.Queries.Enums
SUnOpDocumentation.SBV.Examples.Queries.FourFours
supportsApproxRealsData.SBV.Internals
supportsCustomQueriesData.SBV.Internals
supportsDataTypesData.SBV.Internals
supportsFlattenedModelsData.SBV.Internals
supportsGlobalDeclsData.SBV.Internals
supportsIEEE754Data.SBV.Internals
supportsOptimizationData.SBV.Internals
supportsPseudoBooleansData.SBV.Internals
supportsQuantifiersData.SBV.Internals
supportsRealsData.SBV.Internals
supportsSetsData.SBV.Internals
supportsUnboundedIntsData.SBV.Internals
supportsUninterpretedSortsData.SBV.Internals
SV 
1 (Type/Class)Data.SBV.Internals
2 (Data Constructor)Data.SBV.Internals
svAbsData.SBV.Dynamic
svAddConstantData.SBV.Dynamic
SVal 
1 (Type/Class)Data.SBV.Internals, Data.SBV.Dynamic
2 (Data Constructor)Data.SBV.Internals
svAndData.SBV.Dynamic
svAsBoolData.SBV.Dynamic
svAsIntegerData.SBV.Dynamic
svBarrelRotateLeftData.SBV.Dynamic
svBarrelRotateRightData.SBV.Dynamic
svBlastBEData.SBV.Dynamic
svBlastLEData.SBV.Dynamic
svBoolData.SBV.Dynamic
svCgInputData.SBV.Internals, Data.SBV.Dynamic
svCgInputArrData.SBV.Internals, Data.SBV.Dynamic
svCgOutputData.SBV.Internals, Data.SBV.Dynamic
svCgOutputArrData.SBV.Internals, Data.SBV.Dynamic
svCgReturnData.SBV.Internals, Data.SBV.Dynamic
svCgReturnArrData.SBV.Internals, Data.SBV.Dynamic
svDecrementData.SBV.Dynamic
svDenominatorData.SBV.Dynamic
svDivideData.SBV.Dynamic
svDoubleData.SBV.Dynamic
svEnumFromThenToData.SBV.Dynamic
svEqualData.SBV.Dynamic
svExpData.SBV.Dynamic
svExtractData.SBV.Dynamic
svFalseData.SBV.Dynamic
svFloatData.SBV.Dynamic
svFromIntegralData.SBV.Dynamic
svFromWord1Data.SBV.Dynamic
svGreaterEqData.SBV.Dynamic
svGreaterThanData.SBV.Dynamic
svIncrementData.SBV.Dynamic
svIntegerData.SBV.Dynamic
svIteData.SBV.Dynamic
svJoinData.SBV.Dynamic
svLazyIteData.SBV.Dynamic
svLessEqData.SBV.Dynamic
svLessThanData.SBV.Dynamic
svMinusData.SBV.Dynamic
svMkSymVarData.SBV.Dynamic
svNotData.SBV.Dynamic
svNotEqualData.SBV.Dynamic
svNumeratorData.SBV.Dynamic
svOrData.SBV.Dynamic
svPlusData.SBV.Dynamic
svQuickCheckData.SBV.Dynamic
svQuotData.SBV.Dynamic
svQuotRemData.SBV.Dynamic
svRealData.SBV.Dynamic
svRemData.SBV.Dynamic
svRolData.SBV.Dynamic
svRorData.SBV.Dynamic
svRotateLeftData.SBV.Dynamic
svRotateRightData.SBV.Dynamic
svSelectData.SBV.Dynamic
svSetBitData.SBV.Dynamic
svShiftLeftData.SBV.Dynamic
svShiftRightData.SBV.Dynamic
svShlData.SBV.Dynamic
svShrData.SBV.Dynamic
svSignData.SBV.Dynamic
svStructuralLessThanData.SBV.Dynamic
svSymbolicMergeData.SBV.Dynamic
svTestBitData.SBV.Dynamic
svTimesData.SBV.Dynamic
svToWord1Data.SBV.Dynamic
svTrueData.SBV.Dynamic
svUNegData.SBV.Dynamic
svUninterpretedData.SBV.Dynamic
svUnsignData.SBV.Dynamic
svWordFromBEData.SBV.Dynamic
svWordFromLEData.SBV.Dynamic
svXOrData.SBV.Dynamic
swapDocumentation.SBV.Examples.Crypto.RC4
SwedeDocumentation.SBV.Examples.Puzzles.Fish
SWordData.SBV
sWord 
1 (Function)Data.SBV.Trans
2 (Function)Data.SBV
SWord16Data.SBV.Trans, Data.SBV.Internals, Data.SBV
sWord16 
1 (Function)Data.SBV.Trans
2 (Function)Data.SBV
sWord16s 
1 (Function)Data.SBV.Trans
2 (Function)Data.SBV
sWord16_Data.SBV
SWord32Data.SBV.Trans, Data.SBV.Internals, Data.SBV
sWord32 
1 (Function)Data.SBV.Trans
2 (Function)Data.SBV
sWord32AsSFloatData.SBV.Trans, Data.SBV
sWord32s 
1 (Function)Data.SBV.Trans
2 (Function)Data.SBV
sWord32_Data.SBV
SWord64Data.SBV.Trans, Data.SBV.Internals, Data.SBV
sWord64 
1 (Function)Data.SBV.Trans
2 (Function)Data.SBV
sWord64AsSDoubleData.SBV.Trans, Data.SBV
sWord64s 
1 (Function)Data.SBV.Trans
2 (Function)Data.SBV
sWord64_Data.SBV
SWord8Data.SBV.Trans, Data.SBV.Internals, Data.SBV
sWord8 
1 (Function)Data.SBV.Trans
2 (Function)Data.SBV
sWord8s 
1 (Function)Data.SBV.Trans
2 (Function)Data.SBV
sWord8_Data.SBV
sWordNData.SBV.Dynamic
sWordN_Data.SBV.Dynamic
sWords 
1 (Function)Data.SBV.Trans
2 (Function)Data.SBV
sWord_Data.SBV
SymArrayData.SBV.Trans, Data.SBV.Internals, Data.SBV
SymbolicData.SBV.Trans, Data.SBV.Internals, Data.SBV, Data.SBV.Dynamic
symbolic 
1 (Function)Data.SBV.Trans, Data.SBV.Internals
2 (Function)Data.SBV
symbolicEnvData.SBV.Trans, Data.SBV
symbolicMergeData.SBV.Trans, Data.SBV
symbolics 
1 (Function)Data.SBV.Trans, Data.SBV.Internals
2 (Function)Data.SBV
SymbolicTData.SBV.Trans, Data.SBV
SymTupleData.SBV
SymValData.SBV.Trans, Data.SBV.Internals, Data.SBV
synthMul22Documentation.SBV.Examples.Uninterpreted.Multiply