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

Index - S

SData.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
sailorsData.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
SaturdayData.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
SBData.SBV.Examples.Uninterpreted.Deduce
sbinData.SBV.Internals
sbinIData.SBV.Internals
SBinOpData.SBV.Examples.Queries.FourFours
SBoolData.SBV.Internals, Data.SBV
sBoolData.SBV
sBoolsData.SBV
sboxData.SBV.Examples.Crypto.AES
sboxInverseCorrectData.SBV.Examples.Crypto.AES
sboxTableData.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.Internals, Data.SBV.Tools.CodeGen, 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
sCaseData.SBV.Examples.Queries.FourFours
scriptBodyData.SBV.Internals
scriptModelData.SBV.Internals
sCrossTimeData.SBV.Examples.Puzzles.U2Bridge
SDayData.SBV.Examples.Queries.Enums
sDivData.SBV
SDivisibleData.SBV
sDivModData.SBV
SDoubleData.SBV.Internals, Data.SBV
sDoubleData.SBV
sDoubleAsSWord64Data.SBV
sDoublesData.SBV
SEData.SBV.Examples.Misc.Enumerate
selectData.SBV
sElemData.SBV
sendMoreMoneyData.SBV.Examples.Puzzles.SendMoreMoney
sendRequestToSolverData.SBV.Internals
sendStringToSolverData.SBV.Internals
setBitData.SBV
setBitToData.SBV
setFlagData.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
setRegData.SBV.Examples.BitPrecise.Legato
setTimeOutData.SBV.Internals, Data.SBV
SExecutableData.SBV
sexprToValData.SBV.Control
sExtractBitsData.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
sgcdData.SBV.Examples.CodeGeneration.GCD
sgcdIsCorrectData.SBV.Examples.CodeGeneration.GCD
shannonData.SBV.Examples.Uninterpreted.Shannon
shannon2Data.SBV.Examples.Uninterpreted.Shannon
shexData.SBV.Internals
shexIData.SBV.Internals
shiftData.SBV
shiftLData.SBV
shiftLeftData.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
SLocationData.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
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)Data.SBV.Examples.Existentials.Diophantine
2 (Type/Class)Data.SBV.Examples.Puzzles.NQueens
solveData.SBV
solveAllData.SBV.Examples.Puzzles.Sudoku
solveEuler185Data.SBV.Examples.Puzzles.Euler185
solveNData.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
solveU2Data.SBV.Examples.Puzzles.U2Bridge
splitData.SBV
SplittableData.SBV
sPopCountData.SBV
SportData.SBV.Examples.Puzzles.Fish
SqrtData.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
startData.SBV.Examples.Puzzles.U2Bridge
State 
1 (Type/Class)Data.SBV.Internals
2 (Type/Class)Data.SBV.Examples.Crypto.AES
Status 
1 (Type/Class)Data.SBV.Examples.Puzzles.U2Bridge
2 (Data Constructor)Data.SBV.Examples.Puzzles.U2Bridge
sTestBitData.SBV
STimeData.SBV.Examples.Puzzles.U2Bridge
STreeData.SBV.Tools.STree
SU2MemberData.SBV.Examples.Puzzles.U2Bridge
sudokuData.SBV.Examples.Puzzles.Sudoku
SundayData.SBV.Examples.Queries.Enums
SUnOpData.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
swapData.SBV.Examples.Crypto.RC4
SwedeData.SBV.Examples.Puzzles.Fish
SWord16Data.SBV.Internals, Data.SBV
sWord16Data.SBV
sWord16sData.SBV
SWord32Data.SBV.Internals, Data.SBV
sWord32Data.SBV
sWord32AsSFloatData.SBV
sWord32sData.SBV
SWord4Data.SBV.Examples.Misc.Word4
SWord48Data.SBV.Examples.Existentials.CRCPolynomial
SWord64Data.SBV.Internals, Data.SBV
sWord64Data.SBV
sWord64AsSDoubleData.SBV
sWord64sData.SBV
SWord8Data.SBV.Internals, Data.SBV
sWord8Data.SBV
sWord8sData.SBV
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