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

Index - S

 S 1 (Type/Class) Documentation.SBV.Examples.Crypto.RC4 2 (Type/Class) Documentation.SBV.Examples.ProofTools.BMC 3 (Data Constructor) Documentation.SBV.Examples.ProofTools.BMC 4 (Type/Class) Documentation.SBV.Examples.ProofTools.Fibonacci 5 (Data Constructor) Documentation.SBV.Examples.ProofTools.Fibonacci 6 (Type/Class) Documentation.SBV.Examples.ProofTools.Strengthen 7 (Data Constructor) Documentation.SBV.Examples.ProofTools.Strengthen 8 (Type/Class) Documentation.SBV.Examples.ProofTools.Sum 9 (Data Constructor) Documentation.SBV.Examples.ProofTools.Sum 10 (Type/Class) Documentation.SBV.Examples.WeakestPreconditions.IntSqrt 11 (Type/Class) Documentation.SBV.Examples.WeakestPreconditions.Length 12 (Type/Class) Documentation.SBV.Examples.WeakestPreconditions.Sum s 1 (Function) Documentation.SBV.Examples.ProofTools.Sum 2 (Function) Documentation.SBV.Examples.WeakestPreconditions.Sum safe 1 (Function) Data.SBV.Trans 2 (Function) Data.SBV SafeResult 1 (Type/Class) Data.SBV.Trans, Data.SBV, Data.SBV.Dynamic 2 (Data Constructor) Data.SBV.Trans, Data.SBV, Data.SBV.Dynamic safeWith 1 (Function) Data.SBV.Trans 2 (Function) Data.SBV 3 (Function) Data.SBV.Dynamic sailors Documentation.SBV.Examples.Existentials.Diophantine sAll Data.SBV.Trans, Data.SBV.Internals, Data.SBV sAnd Data.SBV.Trans, Data.SBV.Internals, Data.SBV sAny Data.SBV.Trans, Data.SBV.Internals, Data.SBV SArr Data.SBV.Dynamic SArray 1 (Type/Class) Data.SBV.Trans, Data.SBV.Internals, Data.SBV 2 (Data Constructor) Data.SBV.Internals sAssert Data.SBV.Trans, Data.SBV Sat 1 (Data Constructor) Data.SBV.Trans.Control, Data.SBV.Control 2 (Data Constructor) Documentation.SBV.Examples.Optimization.Enumerate sat 1 (Function) Data.SBV.Trans 2 (Function) Data.SBV satCmd Data.SBV.Trans, Data.SBV.Internals, Data.SBV, Data.SBV.Dynamic SatExtField Data.SBV.Trans, Data.SBV.Internals, Data.SBV, Data.SBV.Dynamic Satisfiable Data.SBV.Trans, Data.SBV.Internals, Data.SBV, Data.SBV.Dynamic SatModel Data.SBV.Trans, Data.SBV SatResult 1 (Type/Class) Data.SBV.Trans, Data.SBV, Data.SBV.Dynamic 2 (Data Constructor) Data.SBV.Trans, Data.SBV, Data.SBV.Dynamic satTrackUFs Data.SBV.Trans, Data.SBV.Internals, Data.SBV, Data.SBV.Dynamic Saturday Documentation.SBV.Examples.Queries.Enums satWith 1 (Function) Data.SBV.Trans 2 (Function) Data.SBV 3 (Function) Data.SBV.Dynamic satWithAll 1 (Function) Data.SBV.Trans, Data.SBV 2 (Function) Data.SBV.Dynamic satWithAny 1 (Function) Data.SBV.Trans, Data.SBV 2 (Function) Data.SBV.Dynamic SaveTiming Data.SBV.Trans, Data.SBV.Internals, Data.SBV SB Documentation.SBV.Examples.Uninterpreted.Deduce sBarrelRotateLeft Data.SBV.Trans, Data.SBV sBarrelRotateRight Data.SBV.Trans, Data.SBV sbin Data.SBV.Internals sbinI Data.SBV.Internals SBinOp Documentation.SBV.Examples.Queries.FourFours SBool Data.SBV.Trans, Data.SBV.Internals, Data.SBV sBool 1 (Function) Data.SBV.Trans 2 (Function) Data.SBV sBools 1 (Function) Data.SBV.Trans 2 (Function) Data.SBV sBool_ Data.SBV sbox Documentation.SBV.Examples.Crypto.AES sboxInverseCorrect Documentation.SBV.Examples.Crypto.AES sboxTable Documentation.SBV.Examples.Crypto.AES SButton Documentation.SBV.Examples.Puzzles.HexPuzzle SBV 1 (Type/Class) Data.SBV.Trans, Data.SBV.Internals, Data.SBV 2 (Data Constructor) Data.SBV.Internals SBVApp Data.SBV.Internals sbvAvailableSolvers Data.SBV.Trans, Data.SBV, Data.SBV.Dynamic sbvCheckSolverInstallation Data.SBV.Trans, Data.SBV, Data.SBV.Dynamic SBVCodeGen 1 (Type/Class) Data.SBV.Tools.CodeGen, Data.SBV.Internals, Data.SBV.Dynamic 2 (Data Constructor) Data.SBV.Internals SBVException 1 (Type/Class) Data.SBV.Trans, Data.SBV 2 (Data Constructor) Data.SBV.Trans, Data.SBV sbvExceptionConfig Data.SBV.Trans, Data.SBV sbvExceptionDescription Data.SBV.Trans, Data.SBV sbvExceptionExitCode Data.SBV.Trans, Data.SBV sbvExceptionExpected Data.SBV.Trans, Data.SBV sbvExceptionHint Data.SBV.Trans, Data.SBV sbvExceptionReason Data.SBV.Trans, Data.SBV sbvExceptionReceived Data.SBV.Trans, Data.SBV sbvExceptionSent Data.SBV.Trans, Data.SBV sbvExceptionStdErr Data.SBV.Trans, Data.SBV sbvExceptionStdOut Data.SBV.Trans, Data.SBV SBVExpr Data.SBV.Internals SBVPgm 1 (Type/Class) Data.SBV.Internals 2 (Data Constructor) Data.SBV.Internals sbvQuickCheck Data.SBV.Trans, Data.SBV SBVRunMode Data.SBV.Internals sbvToSV Data.SBV.Internals sbvToSymSV Data.SBV.Internals SBVType 1 (Type/Class) Data.SBV.Internals 2 (Data Constructor) Data.SBV.Internals sbvUninterpret Data.SBV.Trans, Data.SBV sCase Documentation.SBV.Examples.Queries.FourFours SChar Data.SBV.Trans, Data.SBV.Internals, Data.SBV sChar 1 (Function) Data.SBV.Trans 2 (Function) Data.SBV sChars 1 (Function) Data.SBV.Trans 2 (Function) Data.SBV sChar_ Data.SBV SColor Documentation.SBV.Examples.Puzzles.HexPuzzle sCountLeadingZeros Data.SBV.Trans, Data.SBV sCountTrailingZeros Data.SBV.Trans, Data.SBV scriptBody Data.SBV.Internals scriptModel Data.SBV.Internals sCrossTime Documentation.SBV.Examples.Puzzles.U2Bridge SDay 1 (Type/Class) Documentation.SBV.Examples.Optimization.Enumerate 2 (Type/Class) Documentation.SBV.Examples.Queries.Enums sDiv Data.SBV.Trans, Data.SBV SDivisible Data.SBV.Trans, Data.SBV sDivMod Data.SBV.Trans, Data.SBV SDouble Data.SBV.Trans, Data.SBV.Internals, Data.SBV sDouble 1 (Function) Data.SBV.Trans 2 (Function) Data.SBV sDoubleAsComparableSWord64 Data.SBV.Internals sDoubleAsSWord64 Data.SBV.Trans, Data.SBV sDoubles 1 (Function) Data.SBV.Trans 2 (Function) Data.SBV sDouble_ Data.SBV SE Documentation.SBV.Examples.Misc.Enumerate search Documentation.SBV.Examples.Puzzles.HexPuzzle second Data.SBV.Either SEither Data.SBV.Internals, Data.SBV sEither Data.SBV sEithers Data.SBV sEither_ Data.SBV select Data.SBV.Trans, Data.SBV selectRe Documentation.SBV.Examples.Strings.SQLInjection sElem Data.SBV.Trans, Data.SBV sendMoreMoney Documentation.SBV.Examples.Puzzles.SendMoreMoney sendRequestToSolver Data.SBV.Internals sendStringToSolver Data.SBV.Internals Seq Data.SBV.Tools.WeakestPreconditions SeqConcat Data.SBV.Internals SeqContains Data.SBV.Internals SeqIndexOf Data.SBV.Internals SeqLen Data.SBV.Internals SeqOp 1 (Type/Class) Data.SBV.Internals 2 (Data Constructor) Data.SBV.Internals SeqPrefixOf Data.SBV.Internals SeqReplace Data.SBV.Internals SeqSubseq Data.SBV.Internals SeqSuffixOf Data.SBV.Internals SeqUnit Data.SBV.Internals setBit Data.SBV.Trans, Data.SBV setBitTo Data.SBV.Trans, Data.SBV setFlag Documentation.SBV.Examples.BitPrecise.Legato SetInfo Data.SBV.Trans.Control, Data.SBV.Control setInfo Data.SBV.Trans, Data.SBV.Internals, Data.SBV SetLogic Data.SBV.Trans.Control, Data.SBV.Control setLogic Data.SBV.Trans, Data.SBV.Internals, Data.SBV SetOp Data.SBV.Internals setOption Data.SBV.Trans, Data.SBV.Internals, Data.SBV setReg Documentation.SBV.Examples.BitPrecise.Legato setTimeOut Data.SBV.Trans, Data.SBV.Internals, Data.SBV setup Data.SBV.Tools.WeakestPreconditions SExecutable Data.SBV.Trans, Data.SBV sexprToVal Data.SBV.Trans.Control, Data.SBV.Control sExtractBits Data.SBV.Trans, Data.SBV sFalse Data.SBV.Trans, Data.SBV.Internals, Data.SBV SFiniteBits Data.SBV.Trans, Data.SBV sFiniteBitSize Data.SBV.Trans, Data.SBV SFloat Data.SBV.Trans, Data.SBV.Internals, Data.SBV sFloat 1 (Function) Data.SBV.Trans 2 (Function) Data.SBV sFloatAsComparableSWord32 Data.SBV.Internals sFloatAsSWord32 Data.SBV.Trans, Data.SBV sFloats 1 (Function) Data.SBV.Trans 2 (Function) Data.SBV sFloat_ Data.SBV sFromIntegral Data.SBV.Trans, Data.SBV sFromIntegralChecked Data.SBV.Tools.Overflow sFromIntegralO Data.SBV.Tools.Overflow SFunArr Data.SBV.Dynamic SFunArray 1 (Type/Class) Data.SBV.Trans, Data.SBV.Internals, Data.SBV 2 (Data Constructor) Data.SBV.Internals sgcd Documentation.SBV.Examples.CodeGeneration.GCD sgcdIsCorrect Documentation.SBV.Examples.CodeGeneration.GCD shannon Documentation.SBV.Examples.Uninterpreted.Shannon shannon2 Documentation.SBV.Examples.Uninterpreted.Shannon shex Data.SBV.Internals shexI Data.SBV.Internals shift Data.SBV.Trans, Data.SBV shiftL Data.SBV.Trans, Data.SBV shiftLeft Documentation.SBV.Examples.CodeGeneration.Uninterpreted shiftR Data.SBV.Trans, Data.SBV Shl Data.SBV.Internals showCDouble Data.SBV.Internals showCFloat Data.SBV.Internals showHDouble Data.SBV.Internals showHFloat Data.SBV.Internals showModel Data.SBV.Internals showPoly Data.SBV.Tools.Polynomial showPolynomial Data.SBV.Tools.Polynomial showSMTDouble Data.SBV.Internals showSMTFloat Data.SBV.Internals showTDiff Data.SBV.Internals showType Data.SBV.Trans, Data.SBV.Internals, Data.SBV, Data.SBV.Dynamic Shr Data.SBV.Internals SI Documentation.SBV.Examples.Misc.SetAlgebra sInfinity Data.SBV.Trans, Data.SBV.Internals, Data.SBV singleton 1 (Function) Data.SBV.String 2 (Function) Data.SBV.Set 3 (Function) Data.SBV.List SInt16 Data.SBV.Trans, Data.SBV.Internals, Data.SBV sInt16 1 (Function) Data.SBV.Trans 2 (Function) Data.SBV sInt16s 1 (Function) Data.SBV.Trans 2 (Function) Data.SBV sInt16_ Data.SBV SInt32 Data.SBV.Trans, Data.SBV.Internals, Data.SBV sInt32 1 (Function) Data.SBV.Trans 2 (Function) Data.SBV sInt32s 1 (Function) Data.SBV.Trans 2 (Function) Data.SBV sInt32_ Data.SBV SInt64 Data.SBV.Trans, Data.SBV.Internals, Data.SBV sInt64 1 (Function) Data.SBV.Trans 2 (Function) Data.SBV sInt64s 1 (Function) Data.SBV.Trans 2 (Function) Data.SBV sInt64_ Data.SBV SInt8 Data.SBV.Trans, Data.SBV.Internals, Data.SBV sInt8 1 (Function) Data.SBV.Trans 2 (Function) Data.SBV sInt8s 1 (Function) Data.SBV.Trans 2 (Function) Data.SBV sInt8_ Data.SBV SInteger Data.SBV.Trans, Data.SBV.Internals, Data.SBV sInteger 1 (Function) Data.SBV.Trans 2 (Function) Data.SBV sIntegers 1 (Function) Data.SBV.Trans 2 (Function) Data.SBV sInteger_ Data.SBV SIntegral Data.SBV.Trans, Data.SBV sIntN Data.SBV.Dynamic sIntN_ Data.SBV.Dynamic sJust Data.SBV.Maybe Skip Data.SBV.Tools.WeakestPreconditions sLeft Data.SBV.Either SList Data.SBV.Trans, Data.SBV.Internals, Data.SBV sList 1 (Function) Data.SBV.Trans 2 (Function) Data.SBV sLists 1 (Function) Data.SBV.Trans 2 (Function) Data.SBV sList_ Data.SBV SLocation Documentation.SBV.Examples.Puzzles.U2Bridge smax Data.SBV.Trans, Data.SBV SMaybe Data.SBV.Internals, Data.SBV sMaybe Data.SBV sMaybes Data.SBV sMaybe_ Data.SBV smin Data.SBV.Trans, Data.SBV sMod Data.SBV.Trans, Data.SBV SMTConfig 1 (Type/Class) Data.SBV.Trans, Data.SBV.Internals, Data.SBV, Data.SBV.Dynamic 2 (Data Constructor) Data.SBV.Trans, Data.SBV.Internals, Data.SBV, Data.SBV.Dynamic SMTErrorBehavior Data.SBV.Trans.Control, Data.SBV.Control SMTInfoFlag Data.SBV.Trans.Control, Data.SBV.Control SMTInfoResponse Data.SBV.Trans.Control, Data.SBV.Control SMTLib2 Data.SBV.Trans, Data.SBV.Internals, Data.SBV, Data.SBV.Dynamic SMTLibPgm 1 (Type/Class) Data.SBV.Internals 2 (Data Constructor) Data.SBV.Internals smtLibPgm Data.SBV.Internals smtLibReservedNames Data.SBV.Internals SMTLibVersion Data.SBV.Trans, Data.SBV.Internals, Data.SBV, Data.SBV.Dynamic smtLibVersion Data.SBV.Trans, Data.SBV.Internals, Data.SBV, Data.SBV.Dynamic smtLibVersionExtension Data.SBV.Internals SMTMode Data.SBV.Internals SMTModel 1 (Type/Class) Data.SBV.Internals 2 (Data Constructor) Data.SBV.Internals SMTOption Data.SBV.Trans.Control, Data.SBV.Control SMTProblem 1 (Type/Class) Data.SBV.Internals 2 (Data Constructor) Data.SBV.Internals SMTReasonUnknown Data.SBV.Trans, Data.SBV SMTResult Data.SBV.Trans, Data.SBV.Internals, Data.SBV, Data.SBV.Dynamic smtRoundingMode Data.SBV.Internals SMTScript 1 (Type/Class) Data.SBV.Internals 2 (Data Constructor) Data.SBV.Internals SMTSolver 1 (Type/Class) Data.SBV.Trans, Data.SBV.Internals, Data.SBV, Data.SBV.Dynamic 2 (Data Constructor) Data.SBV.Trans, Data.SBV.Internals, Data.SBV, Data.SBV.Dynamic SMTValue Data.SBV.Trans.Control, Data.SBV.Control SMTVerbosity Data.SBV.Trans.Control, Data.SBV.Control sName 1 (Function) Data.SBV.Trans 2 (Function) Data.SBV sName_ 1 (Function) Data.SBV.Trans 2 (Function) Data.SBV sNaN Data.SBV.Trans, Data.SBV.Internals, Data.SBV snoc 1 (Function) Data.SBV.String 2 (Function) Data.SBV.List sNot Data.SBV.Trans, Data.SBV.Internals, Data.SBV sNothing Data.SBV.Maybe softConstrain Data.SBV.Trans, Data.SBV.Internals, Data.SBV Solution 1 (Type/Class) Documentation.SBV.Examples.Existentials.Diophantine 2 (Type/Class) Documentation.SBV.Examples.Puzzles.NQueens solve 1 (Function) Data.SBV.Trans 2 (Function) Data.SBV solveAll Documentation.SBV.Examples.Puzzles.Sudoku solveCrossword Documentation.SBV.Examples.Strings.RegexCrossword solveEuler185 Documentation.SBV.Examples.Puzzles.Euler185 solveN Documentation.SBV.Examples.Puzzles.U2Bridge Solver Data.SBV.Trans, Data.SBV.Internals, Data.SBV, Data.SBV.Dynamic solver Data.SBV.Trans, Data.SBV.Internals, Data.SBV, Data.SBV.Dynamic SolverCapabilities 1 (Type/Class) Data.SBV.Internals 2 (Data Constructor) Data.SBV.Internals SolverContext Data.SBV.Internals solverSetOptions Data.SBV.Trans, Data.SBV.Internals, Data.SBV, Data.SBV.Dynamic solveU2 Documentation.SBV.Examples.Puzzles.U2Bridge sOr Data.SBV.Trans, Data.SBV.Internals, Data.SBV split Data.SBV.Trans, Data.SBV Splittable Data.SBV.Trans, Data.SBV sPopCount Data.SBV.Trans, Data.SBV Sport Documentation.SBV.Examples.Puzzles.Fish SQLExpr Documentation.SBV.Examples.Strings.SQLInjection Sqrt Documentation.SBV.Examples.Queries.FourFours sqrt Documentation.SBV.Examples.WeakestPreconditions.IntSqrt SqrtS 1 (Type/Class) Documentation.SBV.Examples.WeakestPreconditions.IntSqrt 2 (Data Constructor) Documentation.SBV.Examples.WeakestPreconditions.IntSqrt sQuot Data.SBV.Trans, Data.SBV sQuotRem Data.SBV.Trans, Data.SBV SReal Data.SBV.Trans, Data.SBV.Internals, Data.SBV sReal 1 (Function) Data.SBV.Trans 2 (Function) Data.SBV sReals 1 (Function) Data.SBV.Trans 2 (Function) Data.SBV sRealToSInteger Data.SBV.Trans, Data.SBV sReal_ Data.SBV sRem Data.SBV.Trans, Data.SBV sRight Data.SBV.Either sRNA Data.SBV.Trans, Data.SBV.Internals, Data.SBV sRNE Data.SBV.Trans, Data.SBV.Internals, Data.SBV sRotateLeft Data.SBV.Trans, Data.SBV sRotateRight Data.SBV.Trans, Data.SBV SRoundingMode Data.SBV.Trans, Data.SBV.Internals, Data.SBV sRoundNearestTiesToAway Data.SBV.Trans, Data.SBV.Internals, Data.SBV sRoundNearestTiesToEven Data.SBV.Trans, Data.SBV.Internals, Data.SBV sRoundTowardNegative Data.SBV.Trans, Data.SBV.Internals, Data.SBV sRoundTowardPositive Data.SBV.Trans, Data.SBV.Internals, Data.SBV sRoundTowardZero Data.SBV.Trans, Data.SBV.Internals, Data.SBV sRTN Data.SBV.Trans, Data.SBV.Internals, Data.SBV sRTP Data.SBV.Trans, Data.SBV.Internals, Data.SBV sRTZ Data.SBV.Trans, Data.SBV.Internals, Data.SBV SSet Data.SBV.Internals, Data.SBV sSet Data.SBV sSets Data.SBV sSet_ Data.SBV sShiftLeft Data.SBV.Trans, Data.SBV sShiftRight Data.SBV.Trans, Data.SBV sSignedShiftArithRight Data.SBV.Trans, Data.SBV SState Documentation.SBV.Examples.Lists.BoundedMutex SString Data.SBV.Trans, Data.SBV.Internals, Data.SBV sString 1 (Function) Data.SBV.Trans 2 (Function) Data.SBV sStrings 1 (Function) Data.SBV.Trans 2 (Function) Data.SBV sString_ Data.SBV stability Data.SBV.Tools.WeakestPreconditions Stable Data.SBV.Tools.WeakestPreconditions stable Data.SBV.Tools.WeakestPreconditions start Documentation.SBV.Examples.Puzzles.U2Bridge State 1 (Type/Class) Data.SBV.Internals 2 (Type/Class) Documentation.SBV.Examples.Crypto.AES 3 (Type/Class) Documentation.SBV.Examples.Lists.BoundedMutex statementRe Documentation.SBV.Examples.Strings.SQLInjection Status 1 (Type/Class) Data.SBV.Tools.WeakestPreconditions 2 (Type/Class) Documentation.SBV.Examples.Puzzles.U2Bridge 3 (Data Constructor) Documentation.SBV.Examples.Puzzles.U2Bridge sTestBit Data.SBV.Trans, Data.SBV STime Documentation.SBV.Examples.Puzzles.U2Bridge Stmt Data.SBV.Tools.WeakestPreconditions StrConcat Data.SBV.Internals StrContains Data.SBV.Internals STree Data.SBV.Tools.STree StrIndexOf Data.SBV.Internals StrInRe Data.SBV.Internals StrLen Data.SBV.Internals StrNatToStr Data.SBV.Internals StrOp 1 (Type/Class) Data.SBV.Internals 2 (Data Constructor) Data.SBV.Internals StrPrefixOf Data.SBV.Internals strRe Documentation.SBV.Examples.Strings.SQLInjection StrReplace Data.SBV.Internals StrStrToNat Data.SBV.Internals StrSubstr Data.SBV.Internals StrSuffixOf Data.SBV.Internals strToCharAt Data.SBV.String strToNat Data.SBV.String strToStrAt Data.SBV.String sTrue Data.SBV.Trans, Data.SBV.Internals, Data.SBV StrUnit Data.SBV.Internals Stuck Data.SBV.Tools.WeakestPreconditions STuple Data.SBV.Internals, Data.SBV sTuple Data.SBV STuple2 Data.SBV.Internals, Data.SBV STuple3 Data.SBV.Internals, Data.SBV STuple4 Data.SBV.Internals, Data.SBV STuple5 Data.SBV.Internals, Data.SBV STuple6 Data.SBV.Internals, Data.SBV STuple7 Data.SBV.Internals, Data.SBV STuple8 Data.SBV.Internals, Data.SBV sTuples Data.SBV sTuple_ Data.SBV SU2Member Documentation.SBV.Examples.Puzzles.U2Bridge subList Data.SBV.List subStr Data.SBV.String sudoku Documentation.SBV.Examples.Puzzles.Sudoku sumCorrect Documentation.SBV.Examples.ProofTools.Sum SumS 1 (Type/Class) Documentation.SBV.Examples.WeakestPreconditions.Sum 2 (Data Constructor) Documentation.SBV.Examples.WeakestPreconditions.Sum Sun Documentation.SBV.Examples.Optimization.Enumerate Sunday Documentation.SBV.Examples.Queries.Enums SUnOp Documentation.SBV.Examples.Queries.FourFours supportsApproxReals Data.SBV.Internals supportsCustomQueries Data.SBV.Internals supportsDataTypes Data.SBV.Internals supportsFlattenedModels Data.SBV.Internals supportsGlobalDecls Data.SBV.Internals supportsIEEE754 Data.SBV.Internals supportsOptimization Data.SBV.Internals supportsPseudoBooleans Data.SBV.Internals supportsQuantifiers Data.SBV.Internals supportsReals Data.SBV.Internals supportsSets Data.SBV.Internals supportsUnboundedInts Data.SBV.Internals supportsUninterpretedSorts Data.SBV.Internals SV 1 (Type/Class) Data.SBV.Internals 2 (Data Constructor) Data.SBV.Internals svAbs Data.SBV.Dynamic svAddConstant Data.SBV.Dynamic SVal 1 (Type/Class) Data.SBV.Internals, Data.SBV.Dynamic 2 (Data Constructor) Data.SBV.Internals svAnd Data.SBV.Dynamic svAsBool Data.SBV.Dynamic svAsInteger Data.SBV.Dynamic svBarrelRotateLeft Data.SBV.Dynamic svBarrelRotateRight Data.SBV.Dynamic svBlastBE Data.SBV.Dynamic svBlastLE Data.SBV.Dynamic svBool Data.SBV.Dynamic svCgInput Data.SBV.Internals, Data.SBV.Dynamic svCgInputArr Data.SBV.Internals, Data.SBV.Dynamic svCgOutput Data.SBV.Internals, Data.SBV.Dynamic svCgOutputArr Data.SBV.Internals, Data.SBV.Dynamic svCgReturn Data.SBV.Internals, Data.SBV.Dynamic svCgReturnArr Data.SBV.Internals, Data.SBV.Dynamic svDecrement Data.SBV.Dynamic svDenominator Data.SBV.Dynamic svDivide Data.SBV.Dynamic svDouble Data.SBV.Dynamic svEnumFromThenTo Data.SBV.Dynamic svEqual Data.SBV.Dynamic svExp Data.SBV.Dynamic svExtract Data.SBV.Dynamic svFalse Data.SBV.Dynamic svFloat Data.SBV.Dynamic svFromIntegral Data.SBV.Dynamic svFromWord1 Data.SBV.Dynamic svGreaterEq Data.SBV.Dynamic svGreaterThan Data.SBV.Dynamic svIncrement Data.SBV.Dynamic svInteger Data.SBV.Dynamic svIte Data.SBV.Dynamic svJoin Data.SBV.Dynamic svLazyIte Data.SBV.Dynamic svLessEq Data.SBV.Dynamic svLessThan Data.SBV.Dynamic svMinus Data.SBV.Dynamic svMkSymVar Data.SBV.Dynamic svNot Data.SBV.Dynamic svNotEqual Data.SBV.Dynamic svNumerator Data.SBV.Dynamic svOr Data.SBV.Dynamic svPlus Data.SBV.Dynamic svQuickCheck Data.SBV.Dynamic svQuot Data.SBV.Dynamic svQuotRem Data.SBV.Dynamic svReal Data.SBV.Dynamic svRem Data.SBV.Dynamic svRol Data.SBV.Dynamic svRor Data.SBV.Dynamic svRotateLeft Data.SBV.Dynamic svRotateRight Data.SBV.Dynamic svSelect Data.SBV.Dynamic svSetBit Data.SBV.Dynamic svShiftLeft Data.SBV.Dynamic svShiftRight Data.SBV.Dynamic svShl Data.SBV.Dynamic svShr Data.SBV.Dynamic svSign Data.SBV.Dynamic svSymbolicMerge Data.SBV.Dynamic svTestBit Data.SBV.Dynamic svTimes Data.SBV.Dynamic svToWord1 Data.SBV.Dynamic svTrue Data.SBV.Dynamic svUNeg Data.SBV.Dynamic svUninterpreted Data.SBV.Dynamic svUnsign Data.SBV.Dynamic svWordFromBE Data.SBV.Dynamic svWordFromLE Data.SBV.Dynamic svXOr Data.SBV.Dynamic swap Documentation.SBV.Examples.Crypto.RC4 Swede Documentation.SBV.Examples.Puzzles.Fish SWord16 Data.SBV.Trans, Data.SBV.Internals, Data.SBV sWord16 1 (Function) Data.SBV.Trans 2 (Function) Data.SBV sWord16s 1 (Function) Data.SBV.Trans 2 (Function) Data.SBV sWord16_ Data.SBV SWord32 Data.SBV.Trans, Data.SBV.Internals, Data.SBV sWord32 1 (Function) Data.SBV.Trans 2 (Function) Data.SBV sWord32AsSFloat Data.SBV.Trans, Data.SBV sWord32s 1 (Function) Data.SBV.Trans 2 (Function) Data.SBV sWord32_ Data.SBV SWord4 Documentation.SBV.Examples.Misc.Word4 SWord48 Documentation.SBV.Examples.Existentials.CRCPolynomial SWord64 Data.SBV.Trans, Data.SBV.Internals, Data.SBV sWord64 1 (Function) Data.SBV.Trans 2 (Function) Data.SBV sWord64AsSDouble Data.SBV.Trans, Data.SBV sWord64s 1 (Function) Data.SBV.Trans 2 (Function) Data.SBV sWord64_ Data.SBV SWord8 Data.SBV.Trans, Data.SBV.Internals, Data.SBV sWord8 1 (Function) Data.SBV.Trans 2 (Function) Data.SBV sWord8s 1 (Function) Data.SBV.Trans 2 (Function) Data.SBV sWord8_ Data.SBV sWordN Data.SBV.Dynamic sWordN_ Data.SBV.Dynamic SymArray Data.SBV.Trans, Data.SBV.Internals, Data.SBV Symbolic Data.SBV.Trans, Data.SBV.Internals, Data.SBV, Data.SBV.Dynamic symbolic 1 (Function) Data.SBV.Trans, Data.SBV.Internals 2 (Function) Data.SBV symbolicEnv Data.SBV.Trans, Data.SBV symbolicMerge Data.SBV.Trans, Data.SBV symbolics 1 (Function) Data.SBV.Trans, Data.SBV.Internals 2 (Function) Data.SBV SymbolicT Data.SBV.Trans, Data.SBV SymVal Data.SBV.Trans, Data.SBV.Internals, Data.SBV synthMul22 Documentation.SBV.Examples.Uninterpreted.Multiply