Index - R
| Ratio | Data.SBV, Data.SBV.Bridge.ABC, Data.SBV.Bridge.Boolector, Data.SBV.Bridge.CVC4, Data.SBV.Bridge.MathSAT, Data.SBV.Bridge.Yices, Data.SBV.Bridge.Z3 |
| Rational | Data.SBV, Data.SBV.Bridge.ABC, Data.SBV.Bridge.Boolector, Data.SBV.Bridge.CVC4, Data.SBV.Bridge.MathSAT, Data.SBV.Bridge.Yices, Data.SBV.Bridge.Z3 |
| RC4 | Data.SBV.Examples.Crypto.RC4 |
| rc4IsCorrect | Data.SBV.Examples.Crypto.RC4 |
| readArray | Data.SBV.Internals, Data.SBV, Data.SBV.Bridge.ABC, Data.SBV.Bridge.Boolector, Data.SBV.Bridge.CVC4, Data.SBV.Bridge.MathSAT, Data.SBV.Bridge.Yices, Data.SBV.Bridge.Z3 |
| readBin | Data.SBV, Data.SBV.Bridge.ABC, Data.SBV.Bridge.Boolector, Data.SBV.Bridge.CVC4, Data.SBV.Bridge.MathSAT, Data.SBV.Bridge.Yices, Data.SBV.Bridge.Z3 |
| readSArr | Data.SBV.Dynamic |
| readSTree | Data.SBV, Data.SBV.Bridge.ABC, Data.SBV.Bridge.Boolector, Data.SBV.Bridge.CVC4, Data.SBV.Bridge.MathSAT, Data.SBV.Bridge.Yices, Data.SBV.Bridge.Z3 |
| Red | Data.SBV.Examples.Puzzles.Fish |
| RegA | Data.SBV.Examples.BitPrecise.Legato |
| Register | Data.SBV.Examples.BitPrecise.Legato |
| Registers | Data.SBV.Examples.BitPrecise.Legato |
| registers | Data.SBV.Examples.BitPrecise.Legato |
| RegX | Data.SBV.Examples.BitPrecise.Legato |
| Rem | Data.SBV.Internals |
| render' | Data.SBV.Internals |
| renderCgPgmBundle | Data.SBV.Internals |
| renderTest | Data.SBV, Data.SBV.Bridge.ABC, Data.SBV.Bridge.Boolector, Data.SBV.Bridge.CVC4, Data.SBV.Bridge.MathSAT, Data.SBV.Bridge.Yices, Data.SBV.Bridge.Z3 |
| resArrays | Data.SBV.Internals |
| resAsgns | Data.SBV.Internals |
| resAssertions | Data.SBV.Internals |
| resAxioms | Data.SBV.Internals |
| resConstraints | Data.SBV.Internals |
| resConsts | Data.SBV.Internals |
| resetArray | Data.SBV.Internals, Data.SBV, Data.SBV.Bridge.ABC, Data.SBV.Bridge.Boolector, Data.SBV.Bridge.CVC4, Data.SBV.Bridge.MathSAT, Data.SBV.Bridge.Yices, Data.SBV.Bridge.Z3 |
| resetSArr | Data.SBV.Dynamic |
| resInputs | Data.SBV.Internals |
| reskinds | Data.SBV.Internals |
| resOutputs | Data.SBV.Internals |
| 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 |
| Rol | Data.SBV.Internals |
| Ror | Data.SBV.Internals |
| rorM | Data.SBV.Examples.BitPrecise.Legato |
| rorR | Data.SBV.Examples.BitPrecise.Legato |
| rotate | Data.SBV, Data.SBV.Bridge.ABC, Data.SBV.Bridge.Boolector, Data.SBV.Bridge.CVC4, Data.SBV.Bridge.MathSAT, Data.SBV.Bridge.Yices, Data.SBV.Bridge.Z3 |
| rotateL | Data.SBV, Data.SBV.Bridge.ABC, Data.SBV.Bridge.Boolector, Data.SBV.Bridge.CVC4, Data.SBV.Bridge.MathSAT, Data.SBV.Bridge.Yices, Data.SBV.Bridge.Z3 |
| rotateR | Data.SBV, Data.SBV.Bridge.ABC, Data.SBV.Bridge.Boolector, Data.SBV.Bridge.CVC4, Data.SBV.Bridge.MathSAT, Data.SBV.Bridge.Yices, Data.SBV.Bridge.Z3 |
| rotR | Data.SBV.Examples.Crypto.AES |
| roundConstants | Data.SBV.Examples.Crypto.AES |
| roundingAdd | Data.SBV.Examples.Misc.Floating |
| RoundingMode | Data.SBV.Internals, Data.SBV, Data.SBV.Bridge.ABC, Data.SBV.Bridge.Boolector, Data.SBV.Bridge.CVC4, Data.SBV.Bridge.MathSAT, Data.SBV.Bridge.Yices, Data.SBV.Bridge.Z3 |
| roundingMode | Data.SBV.Internals, Data.SBV, Data.SBV.Bridge.ABC, Data.SBV.Bridge.Boolector, Data.SBV.Bridge.CVC4, Data.SBV.Bridge.MathSAT, Data.SBV.Bridge.Yices, Data.SBV.Bridge.Z3, Data.SBV.Dynamic |
| RoundNearestTiesToAway | Data.SBV.Internals, Data.SBV, Data.SBV.Bridge.ABC, Data.SBV.Bridge.Boolector, Data.SBV.Bridge.CVC4, Data.SBV.Bridge.MathSAT, Data.SBV.Bridge.Yices, Data.SBV.Bridge.Z3 |
| RoundNearestTiesToEven | Data.SBV.Internals, Data.SBV, Data.SBV.Bridge.ABC, Data.SBV.Bridge.Boolector, Data.SBV.Bridge.CVC4, Data.SBV.Bridge.MathSAT, Data.SBV.Bridge.Yices, Data.SBV.Bridge.Z3 |
| RoundTowardNegative | Data.SBV.Internals, Data.SBV, Data.SBV.Bridge.ABC, Data.SBV.Bridge.Boolector, Data.SBV.Bridge.CVC4, Data.SBV.Bridge.MathSAT, Data.SBV.Bridge.Yices, Data.SBV.Bridge.Z3 |
| RoundTowardPositive | Data.SBV.Internals, Data.SBV, Data.SBV.Bridge.ABC, Data.SBV.Bridge.Boolector, Data.SBV.Bridge.CVC4, Data.SBV.Bridge.MathSAT, Data.SBV.Bridge.Yices, Data.SBV.Bridge.Z3 |
| RoundTowardZero | Data.SBV.Internals, Data.SBV, Data.SBV.Bridge.ABC, Data.SBV.Bridge.Boolector, Data.SBV.Bridge.CVC4, Data.SBV.Bridge.MathSAT, Data.SBV.Bridge.Yices, Data.SBV.Bridge.Z3 |
| Row | |
| 1 (Type/Class) | Data.SBV.Examples.Puzzles.MagicSquare |
| 2 (Type/Class) | Data.SBV.Examples.Puzzles.Sudoku |
| run | Data.SBV.Examples.Puzzles.U2Bridge |
| runLegato | Data.SBV.Examples.BitPrecise.Legato |
| runSymbolic | Data.SBV.Internals |
| runSymbolic' | Data.SBV.Internals |