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

Index - R

RandomSeedData.SBV.Control
Range 
1 (Data Constructor)Data.SBV.RegExp, Data.SBV.Internals
2 (Type/Class)Data.SBV.Tools.Range
3 (Data Constructor)Data.SBV.Tools.Range
rangesData.SBV.Tools.Range
rangesWithData.SBV.Tools.Range
RatioData.SBV
RationalData.SBV
RC4Documentation.SBV.Examples.Crypto.RC4
rc4IsCorrectDocumentation.SBV.Examples.Crypto.RC4
readArrayData.SBV.Internals, Data.SBV
readBinData.SBV.Internals
readSArrData.SBV.Dynamic
readSFunArrData.SBV.Dynamic
readSTreeData.SBV.Tools.STree
ReadVarDocumentation.SBV.Examples.Strings.SQLInjection
ReadyDocumentation.SBV.Examples.Lists.BoundedMutex
readyDocumentation.SBV.Examples.Lists.BoundedMutex
ReasonUnknownData.SBV.Control
Red 
1 (Data Constructor)Documentation.SBV.Examples.Puzzles.Fish
2 (Data Constructor)Documentation.SBV.Examples.Puzzles.Garden
3 (Data Constructor)Documentation.SBV.Examples.Puzzles.HexPuzzle
redirectVerboseData.SBV.Internals, Data.SBV, Data.SBV.Dynamic
RegADocumentation.SBV.Examples.BitPrecise.Legato
RegExpData.SBV.RegExp, Data.SBV.Internals
RegExpMatchableData.SBV.RegExp
RegisterDocumentation.SBV.Examples.BitPrecise.Legato
registerKindData.SBV.Internals
RegistersDocumentation.SBV.Examples.BitPrecise.Legato
registersDocumentation.SBV.Examples.BitPrecise.Legato
RegularCWData.SBV.Internals, Data.SBV
RegXDocumentation.SBV.Examples.BitPrecise.Legato
RemData.SBV.Internals
renderCgPgmBundleData.SBV.Internals
renderTestData.SBV.Tools.GenTest
replace 
1 (Function)Data.SBV.String
2 (Function)Data.SBV.List
ReproducibleResourceLimitData.SBV.Control
resArraysData.SBV.Internals
resAsgnsData.SBV.Internals
resAssertionsData.SBV.Internals
resAxiomsData.SBV.Internals
resConstraintsData.SBV.Internals
resConstsData.SBV.Internals
resetAssertionsData.SBV.Control
resInputsData.SBV.Internals
reskindsData.SBV.Internals
resObservablesData.SBV.Internals
resOutputsData.SBV.Internals
Resp_AllStatisticsData.SBV.Control
Resp_AssertionStackLevelsData.SBV.Control
Resp_AuthorsData.SBV.Control
Resp_ErrorData.SBV.Control
Resp_InfoKeywordData.SBV.Control
Resp_NameData.SBV.Control
Resp_ReasonUnknownData.SBV.Control
Resp_UnsupportedData.SBV.Control
Resp_VersionData.SBV.Control
resTablesData.SBV.Internals
resTracesData.SBV.Internals
resUIConstsData.SBV.Internals
resUISegsData.SBV.Internals
Result 
1 (Type/Class)Data.SBV.Internals
2 (Data Constructor)Data.SBV.Internals
retrieveResponseFromSolverData.SBV.Internals
RolData.SBV.Internals
RorData.SBV.Internals
rorMDocumentation.SBV.Examples.BitPrecise.Legato
rorRDocumentation.SBV.Examples.BitPrecise.Legato
rotateData.SBV
rotateLData.SBV
rotateRData.SBV
rotRDocumentation.SBV.Examples.Crypto.AES
roundConstantsDocumentation.SBV.Examples.Crypto.AES
roundingAddDocumentation.SBV.Examples.Misc.Floating
RoundingModeData.SBV.Internals, Data.SBV
roundingModeData.SBV.Internals, Data.SBV, Data.SBV.Dynamic
RoundNearestTiesToAwayData.SBV.Internals, Data.SBV
RoundNearestTiesToEvenData.SBV.Internals, Data.SBV
RoundTowardNegativeData.SBV.Internals, Data.SBV
RoundTowardPositiveData.SBV.Internals, Data.SBV
RoundTowardZeroData.SBV.Internals, Data.SBV
Row 
1 (Type/Class)Documentation.SBV.Examples.Puzzles.MagicSquare
2 (Type/Class)Documentation.SBV.Examples.Puzzles.Sudoku
runDocumentation.SBV.Examples.Puzzles.U2Bridge
runLegatoDocumentation.SBV.Examples.BitPrecise.Legato
runSMTData.SBV
runSMTWithData.SBV
runSymbolicData.SBV.Internals