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

Index - R

rDocumentation.SBV.Examples.WeakestPreconditions.IntDiv
RandomSeedData.SBV.Trans.Control, Data.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.Trans, Data.SBV
RationalData.SBV.Trans, Data.SBV
RC4Documentation.SBV.Examples.Crypto.RC4
rc4IsCorrectDocumentation.SBV.Examples.Crypto.RC4
RCSetData.SBV.Internals, Data.SBV
readArrayData.SBV.Trans, Data.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.Trans.Control, Data.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.Trans, Data.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
registerUISMTFunctionData.SBV.Control
RegularCVData.SBV.Trans, Data.SBV.Internals, Data.SBV
RegularSetData.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.Trans.Control, Data.SBV.Control
resArraysData.SBV.Internals
resAsgnsData.SBV.Internals
resAssertionsData.SBV.Internals
resAxiomsData.SBV.Internals
resConstraintsData.SBV.Internals
resConstsData.SBV.Internals
resetAssertions 
1 (Function)Data.SBV.Trans.Control
2 (Function)Data.SBV.Control
resInputsData.SBV.Internals
reskindsData.SBV.Internals
resObservablesData.SBV.Internals
resOutputsData.SBV.Internals
Resp_AllStatisticsData.SBV.Trans.Control, Data.SBV.Control
Resp_AssertionStackLevelsData.SBV.Trans.Control, Data.SBV.Control
Resp_AuthorsData.SBV.Trans.Control, Data.SBV.Control
Resp_ErrorData.SBV.Trans.Control, Data.SBV.Control
Resp_InfoKeywordData.SBV.Trans.Control, Data.SBV.Control
Resp_NameData.SBV.Trans.Control, Data.SBV.Control
Resp_ReasonUnknownData.SBV.Trans.Control, Data.SBV.Control
Resp_UnsupportedData.SBV.Trans.Control, Data.SBV.Control
Resp_VersionData.SBV.Trans.Control, Data.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
3 (Type/Class)Documentation.SBV.Examples.Transformers.SymbolicEval
4 (Data Constructor)Documentation.SBV.Examples.Transformers.SymbolicEval
resultDocumentation.SBV.Examples.Transformers.SymbolicEval
retrieveResponseFromSolverData.SBV.Internals
RolData.SBV.Internals
RorData.SBV.Internals
rorMDocumentation.SBV.Examples.BitPrecise.Legato
rorRDocumentation.SBV.Examples.BitPrecise.Legato
rotateData.SBV.Trans, Data.SBV
rotateLData.SBV.Trans, Data.SBV
rotateRData.SBV.Trans, Data.SBV
rotRDocumentation.SBV.Examples.Crypto.AES
roundConstantsDocumentation.SBV.Examples.Crypto.AES
roundingAddDocumentation.SBV.Examples.Misc.Floating
RoundingModeData.SBV.Trans, Data.SBV.Internals, Data.SBV
roundingModeData.SBV.Trans, Data.SBV.Internals, Data.SBV, Data.SBV.Dynamic
RoundNearestTiesToAwayData.SBV.Trans, Data.SBV.Internals, Data.SBV
RoundNearestTiesToEvenData.SBV.Trans, Data.SBV.Internals, Data.SBV
RoundTowardNegativeData.SBV.Trans, Data.SBV.Internals, Data.SBV
RoundTowardPositiveData.SBV.Trans, Data.SBV.Internals, Data.SBV
RoundTowardZeroData.SBV.Trans, Data.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
runAllocDocumentation.SBV.Examples.Transformers.SymbolicEval
runEvalDocumentation.SBV.Examples.Transformers.SymbolicEval
runLegatoDocumentation.SBV.Examples.BitPrecise.Legato
runProgramEvalDocumentation.SBV.Examples.Transformers.SymbolicEval
runPropertyEvalDocumentation.SBV.Examples.Transformers.SymbolicEval
runQDocumentation.SBV.Examples.Transformers.SymbolicEval
runQueryTData.SBV.Internals
runSMT 
1 (Function)Data.SBV.Trans
2 (Function)Data.SBV
runSMTWith 
1 (Function)Data.SBV.Trans
2 (Function)Data.SBV
runSymbolicData.SBV.Internals