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

Index - S

SDocumentation.SBV.Examples.Crypto.RC4
safeData.SBV
SafeResult 
1 (Type/Class)Data.SBV, Data.SBV.Dynamic
2 (Data Constructor)Data.SBV, Data.SBV.Dynamic
safeWith 
1 (Function)Data.SBV
2 (Function)Data.SBV.Dynamic
sailorsDocumentation.SBV.Examples.Existentials.Diophantine
SArrData.SBV.Dynamic
SArray 
1 (Type/Class)Data.SBV.Internals, Data.SBV
2 (Data Constructor)Data.SBV.Internals
sAssertData.SBV
SatData.SBV.Control
satData.SBV
satCmdData.SBV.Internals, Data.SBV, Data.SBV.Dynamic
SatExtFieldData.SBV.Internals, Data.SBV, Data.SBV.Dynamic
SatisfiableData.SBV.Internals, Data.SBV, Data.SBV.Dynamic
SatModelData.SBV
SatResult 
1 (Type/Class)Data.SBV, Data.SBV.Dynamic
2 (Data Constructor)Data.SBV, Data.SBV.Dynamic
SaturdayDocumentation.SBV.Examples.Queries.Enums
satWith 
1 (Function)Data.SBV
2 (Function)Data.SBV.Dynamic
satWithAll 
1 (Function)Data.SBV
2 (Function)Data.SBV.Dynamic
satWithAny 
1 (Function)Data.SBV
2 (Function)Data.SBV.Dynamic
SaveTimingData.SBV.Internals, Data.SBV
SBDocumentation.SBV.Examples.Uninterpreted.Deduce
sbinData.SBV.Internals
sbinIData.SBV.Internals
SBinOpDocumentation.SBV.Examples.Queries.FourFours
SBoolData.SBV.Internals, Data.SBV
sBoolData.SBV
sBoolsData.SBV
sboxDocumentation.SBV.Examples.Crypto.AES
sboxInverseCorrectDocumentation.SBV.Examples.Crypto.AES
sboxTableDocumentation.SBV.Examples.Crypto.AES
SBV 
1 (Type/Class)Data.SBV.Internals, Data.SBV
2 (Data Constructor)Data.SBV.Internals
SBVAppData.SBV.Internals
sbvAvailableSolversData.SBV, Data.SBV.Dynamic
sbvCheckSolverInstallationData.SBV, Data.SBV.Dynamic
SBVCodeGen 
1 (Type/Class)Data.SBV.Tools.CodeGen, Data.SBV.Internals, Data.SBV.Dynamic
2 (Data Constructor)Data.SBV.Internals
SBVExprData.SBV.Internals
SBVPgm 
1 (Type/Class)Data.SBV.Internals
2 (Data Constructor)Data.SBV.Internals
sbvQuickCheckData.SBV
SBVRunModeData.SBV.Internals
sbvToSWData.SBV.Internals
sbvToSymSWData.SBV.Internals
SBVType 
1 (Type/Class)Data.SBV.Internals
2 (Data Constructor)Data.SBV.Internals
sbvUninterpretData.SBV
sCaseDocumentation.SBV.Examples.Queries.FourFours
SCharData.SBV.Internals, Data.SBV
sCharData.SBV
sCharsData.SBV
sCountLeadingZerosData.SBV
sCountTrailingZerosData.SBV
scriptBodyData.SBV.Internals
scriptModelData.SBV.Internals
sCrossTimeDocumentation.SBV.Examples.Puzzles.U2Bridge
SDayDocumentation.SBV.Examples.Queries.Enums
sDivData.SBV
SDivisibleData.SBV
sDivModData.SBV
SDoubleData.SBV.Internals, Data.SBV
sDoubleData.SBV
sDoubleAsSWord64Data.SBV
sDoublesData.SBV
SEDocumentation.SBV.Examples.Misc.Enumerate
selectData.SBV
selectReDocumentation.SBV.Examples.Strings.SQLInjection
sElemData.SBV
sendMoreMoneyDocumentation.SBV.Examples.Puzzles.SendMoreMoney
sendRequestToSolverData.SBV.Internals
sendStringToSolverData.SBV.Internals
setBitData.SBV
setBitToData.SBV
setFlagDocumentation.SBV.Examples.BitPrecise.Legato
SetInfoData.SBV.Control
setInfoData.SBV.Internals, Data.SBV
SetLogicData.SBV.Control
setLogicData.SBV.Internals, Data.SBV
setOptionData.SBV.Internals, Data.SBV
setRegDocumentation.SBV.Examples.BitPrecise.Legato
setTimeOutData.SBV.Internals, Data.SBV
SExecutableData.SBV
sexprToValData.SBV.Control
sExtractBitsData.SBV
SFiniteBitsData.SBV
sFiniteBitSizeData.SBV
SFloatData.SBV.Internals, Data.SBV
sFloatData.SBV
sFloatAsSWord32Data.SBV
sFloatsData.SBV
sFromIntegralData.SBV
SFunArray 
1 (Type/Class)Data.SBV.Internals, Data.SBV
2 (Data Constructor)Data.SBV.Internals
sgcdDocumentation.SBV.Examples.CodeGeneration.GCD
sgcdIsCorrectDocumentation.SBV.Examples.CodeGeneration.GCD
shannonDocumentation.SBV.Examples.Uninterpreted.Shannon
shannon2Documentation.SBV.Examples.Uninterpreted.Shannon
shexData.SBV.Internals
shexIData.SBV.Internals
shiftData.SBV
shiftLData.SBV
shiftLeftDocumentation.SBV.Examples.CodeGeneration.Uninterpreted
shiftRData.SBV
ShlData.SBV.Internals
showCDoubleData.SBV.Internals
showCFloatData.SBV.Internals
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.Internals, Data.SBV, Data.SBV.Dynamic
ShrData.SBV.Internals
sInfinityData.SBV.Internals, Data.SBV
SInt16Data.SBV.Internals, Data.SBV
sInt16Data.SBV
sInt16sData.SBV
SInt32Data.SBV.Internals, Data.SBV
sInt32Data.SBV
sInt32sData.SBV
SInt64Data.SBV.Internals, Data.SBV
sInt64Data.SBV
sInt64sData.SBV
SInt8Data.SBV.Internals, Data.SBV
sInt8Data.SBV
sInt8sData.SBV
SIntegerData.SBV.Internals, Data.SBV
sIntegerData.SBV
sIntegersData.SBV
SIntegralData.SBV
sIntNData.SBV.Dynamic
sIntN_Data.SBV.Dynamic
SLocationDocumentation.SBV.Examples.Puzzles.U2Bridge
smaxData.SBV
sminData.SBV
sModData.SBV
SMTConfig 
1 (Type/Class)Data.SBV.Internals, Data.SBV, Data.SBV.Dynamic
2 (Data Constructor)Data.SBV.Internals, Data.SBV, Data.SBV.Dynamic
SMTErrorBehaviorData.SBV.Control
SMTException 
1 (Type/Class)Data.SBV
2 (Data Constructor)Data.SBV
smtExceptionConfigData.SBV
smtExceptionDescriptionData.SBV
smtExceptionExitCodeData.SBV
smtExceptionExpectedData.SBV
smtExceptionHintData.SBV
smtExceptionReasonData.SBV
smtExceptionReceivedData.SBV
smtExceptionSentData.SBV
smtExceptionStdErrData.SBV
smtExceptionStdOutData.SBV
SMTInfoFlagData.SBV.Control
SMTInfoResponseData.SBV.Control
SMTLib2Data.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.Internals, Data.SBV, Data.SBV.Dynamic
smtLibVersionData.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.Control
SMTProblem 
1 (Type/Class)Data.SBV.Internals
2 (Data Constructor)Data.SBV.Internals
SMTReasonUnknownData.SBV.Control
SMTResultData.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.Internals, Data.SBV, Data.SBV.Dynamic
2 (Data Constructor)Data.SBV.Internals, Data.SBV, Data.SBV.Dynamic
SMTValueData.SBV.Control
SMTVerbosityData.SBV.Control
sNameData.SBV
sName_Data.SBV
sNaNData.SBV.Internals, Data.SBV
Solution 
1 (Type/Class)Documentation.SBV.Examples.Existentials.Diophantine
2 (Type/Class)Documentation.SBV.Examples.Puzzles.NQueens
solveData.SBV
solveAllDocumentation.SBV.Examples.Puzzles.Sudoku
solveCrosswordDocumentation.SBV.Examples.Strings.RegexCrossword
solveEuler185Documentation.SBV.Examples.Puzzles.Euler185
solveNDocumentation.SBV.Examples.Puzzles.U2Bridge
SolverData.SBV.Internals, Data.SBV, Data.SBV.Dynamic
solverData.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.Internals, Data.SBV, Data.SBV.Dynamic
solveU2Documentation.SBV.Examples.Puzzles.U2Bridge
splitData.SBV
SplittableData.SBV
sPopCountData.SBV
SportDocumentation.SBV.Examples.Puzzles.Fish
SQLExprDocumentation.SBV.Examples.Strings.SQLInjection
SqrtDocumentation.SBV.Examples.Queries.FourFours
sQuotData.SBV
sQuotRemData.SBV
SRealData.SBV.Internals, Data.SBV
sRealData.SBV
sRealsData.SBV
sRealToSIntegerData.SBV
sRemData.SBV
sRNAData.SBV.Internals, Data.SBV
sRNEData.SBV.Internals, Data.SBV
sRotateLeftData.SBV
sRotateRightData.SBV
SRoundingModeData.SBV.Internals, Data.SBV
sRoundNearestTiesToAwayData.SBV.Internals, Data.SBV
sRoundNearestTiesToEvenData.SBV.Internals, Data.SBV
sRoundTowardNegativeData.SBV.Internals, Data.SBV
sRoundTowardPositiveData.SBV.Internals, Data.SBV
sRoundTowardZeroData.SBV.Internals, Data.SBV
sRTNData.SBV.Internals, Data.SBV
sRTPData.SBV.Internals, Data.SBV
sRTZData.SBV.Internals, Data.SBV
sShiftLeftData.SBV
sShiftRightData.SBV
sSignedShiftArithRightData.SBV
SStringData.SBV.Internals, Data.SBV
sStringData.SBV
sStringsData.SBV
startDocumentation.SBV.Examples.Puzzles.U2Bridge
State 
1 (Type/Class)Data.SBV.Internals
2 (Type/Class)Documentation.SBV.Examples.Crypto.AES
statementReDocumentation.SBV.Examples.Strings.SQLInjection
Status 
1 (Type/Class)Documentation.SBV.Examples.Puzzles.U2Bridge
2 (Data Constructor)Documentation.SBV.Examples.Puzzles.U2Bridge
sTestBitData.SBV
STimeDocumentation.SBV.Examples.Puzzles.U2Bridge
StrConcatData.SBV.Internals
StrContainsData.SBV.Internals
STreeData.SBV.Tools.STree
StrIndexOfData.SBV.Internals
StrInReData.SBV.Internals
StrLenData.SBV.Internals
StrNatToStrData.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
StrUnitData.SBV.Internals
SU2MemberDocumentation.SBV.Examples.Puzzles.U2Bridge
subStrData.SBV.String
sudokuDocumentation.SBV.Examples.Puzzles.Sudoku
SundayDocumentation.SBV.Examples.Queries.Enums
SUnOpDocumentation.SBV.Examples.Queries.FourFours
supportsApproxRealsData.SBV.Internals
supportsCustomQueriesData.SBV.Internals
supportsGlobalDeclsData.SBV.Internals
supportsIEEE754Data.SBV.Internals
supportsOptimizationData.SBV.Internals
supportsPseudoBooleansData.SBV.Internals
supportsQuantifiersData.SBV.Internals
supportsRealsData.SBV.Internals
supportsUnboundedIntsData.SBV.Internals
supportsUninterpretedSortsData.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
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
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
SW 
1 (Type/Class)Data.SBV.Internals
2 (Data Constructor)Data.SBV.Internals
swapDocumentation.SBV.Examples.Crypto.RC4
SwedeDocumentation.SBV.Examples.Puzzles.Fish
SWord16Data.SBV.Internals, Data.SBV
sWord16Data.SBV
sWord16sData.SBV
SWord32Data.SBV.Internals, Data.SBV
sWord32Data.SBV
sWord32AsSFloatData.SBV
sWord32sData.SBV
SWord4Documentation.SBV.Examples.Misc.Word4
SWord48Documentation.SBV.Examples.Existentials.CRCPolynomial
SWord64Data.SBV.Internals, Data.SBV
sWord64Data.SBV
sWord64AsSDoubleData.SBV
sWord64sData.SBV
SWord8Data.SBV.Internals, Data.SBV
sWord8Data.SBV
sWord8sData.SBV
sWordNData.SBV.Dynamic
sWordN_Data.SBV.Dynamic
SymArrayData.SBV.Internals, Data.SBV
SymbolicData.SBV.Internals, Data.SBV, Data.SBV.Dynamic
symbolicData.SBV.Internals, Data.SBV
symbolicMergeData.SBV
symbolicsData.SBV.Internals, Data.SBV
SymWordData.SBV.Internals, Data.SBV