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

- A
- B
- C
- D
- E
- F
- G
- H
- I
- J
- K
- L
- M
- N
- O
- P
- Q
- R
- S
- T
- U
- V
- W
- X
- Y
- Z
- #
- %
- &
- *
- +
- .
- /
- <
- =
- |
- -
- ~
- _
- All

Index - R

RandomSeed | 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
ranges | Data.SBV.Tools.Range
rangesWith | Data.SBV.Tools.Range
Ratio | Data.SBV
Rational | Data.SBV
RC4 | Documentation.SBV.Examples.Crypto.RC4
rc4IsCorrect | Documentation.SBV.Examples.Crypto.RC4
readArray | Data.SBV.Internals, Data.SBV
readBin | Data.SBV.Internals
readSArr | Data.SBV.Dynamic
readSFunArr | Data.SBV.Dynamic
readSTree | Data.SBV.Tools.STree
ReadVar | Documentation.SBV.Examples.Strings.SQLInjection
Ready | Documentation.SBV.Examples.Lists.BoundedMutex
ready | Documentation.SBV.Examples.Lists.BoundedMutex
ReasonUnknown | 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
redirectVerbose | Data.SBV.Internals, Data.SBV, Data.SBV.Dynamic
RegA | Documentation.SBV.Examples.BitPrecise.Legato
RegExp | Data.SBV.RegExp, Data.SBV.Internals
RegExpMatchable | Data.SBV.RegExp
Register | Documentation.SBV.Examples.BitPrecise.Legato
registerKind | Data.SBV.Internals
Registers | Documentation.SBV.Examples.BitPrecise.Legato
registers | Documentation.SBV.Examples.BitPrecise.Legato
RegularCW | Data.SBV.Internals, Data.SBV
RegX | Documentation.SBV.Examples.BitPrecise.Legato
Rem | Data.SBV.Internals
renderCgPgmBundle | Data.SBV.Internals
renderTest | Data.SBV.Tools.GenTest
replace |
1 (Function) | Data.SBV.String
2 (Function) | Data.SBV.List
ReproducibleResourceLimit | Data.SBV.Control
resArrays | Data.SBV.Internals
resAsgns | Data.SBV.Internals
resAssertions | Data.SBV.Internals
resAxioms | Data.SBV.Internals
resConstraints | Data.SBV.Internals
resConsts | Data.SBV.Internals
resetAssertions | Data.SBV.Control
resInputs | Data.SBV.Internals
reskinds | Data.SBV.Internals
resObservables | Data.SBV.Internals
resOutputs | Data.SBV.Internals
Resp_AllStatistics | Data.SBV.Control
Resp_AssertionStackLevels | Data.SBV.Control
Resp_Authors | Data.SBV.Control
Resp_Error | Data.SBV.Control
Resp_InfoKeyword | Data.SBV.Control
Resp_Name | Data.SBV.Control
Resp_ReasonUnknown | Data.SBV.Control
Resp_Unsupported | Data.SBV.Control
Resp_Version | Data.SBV.Control
resTables | Data.SBV.Internals
resTraces | Data.SBV.Internals
resUIConsts | Data.SBV.Internals
resUISegs | Data.SBV.Internals
Result |
1 (Type/Class) | Data.SBV.Internals
2 (Data Constructor) | Data.SBV.Internals
retrieveResponseFromSolver | Data.SBV.Internals
Rol | Data.SBV.Internals
Ror | Data.SBV.Internals
rorM | Documentation.SBV.Examples.BitPrecise.Legato
rorR | Documentation.SBV.Examples.BitPrecise.Legato
rotate | Data.SBV
rotateL | Data.SBV
rotateR | Data.SBV
rotR | Documentation.SBV.Examples.Crypto.AES
roundConstants | Documentation.SBV.Examples.Crypto.AES
roundingAdd | Documentation.SBV.Examples.Misc.Floating
RoundingMode | Data.SBV.Internals, Data.SBV
roundingMode | Data.SBV.Internals, Data.SBV, Data.SBV.Dynamic
RoundNearestTiesToAway | Data.SBV.Internals, Data.SBV
RoundNearestTiesToEven | Data.SBV.Internals, Data.SBV
RoundTowardNegative | Data.SBV.Internals, Data.SBV
RoundTowardPositive | Data.SBV.Internals, Data.SBV
RoundTowardZero | Data.SBV.Internals, Data.SBV
Row |
1 (Type/Class) | Documentation.SBV.Examples.Puzzles.MagicSquare
2 (Type/Class) | Documentation.SBV.Examples.Puzzles.Sudoku
run | Documentation.SBV.Examples.Puzzles.U2Bridge
runLegato | Documentation.SBV.Examples.BitPrecise.Legato
runSMT | Data.SBV
runSMTWith | Data.SBV
runSymbolic | Data.SBV.Internals