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

Index - B

B 
1 (Data Constructor)Documentation.SBV.Examples.Misc.Enumerate
2 (Data Constructor)Documentation.SBV.Examples.Queries.FourFours
3 (Type/Class)Documentation.SBV.Examples.Uninterpreted.Deduce
BadPostconditionData.SBV.Tools.WeakestPreconditions
BadPreconditionData.SBV.Tools.WeakestPreconditions
ballData.SBV.Tools.BoundedList
bandData.SBV.Tools.BoundedList
banyData.SBV.Tools.BoundedList
BarDocumentation.SBV.Examples.Puzzles.Murder
BaseballDocumentation.SBV.Examples.Puzzles.Fish
basisDocumentation.SBV.Examples.Existentials.Diophantine
bccDocumentation.SBV.Examples.BitPrecise.Legato
BeachDocumentation.SBV.Examples.Puzzles.Murder
BeerDocumentation.SBV.Examples.Puzzles.Fish
belemData.SBV.Tools.BoundedList
BeverageDocumentation.SBV.Examples.Puzzles.Fish
bfilterData.SBV.Tools.BoundedList
bfixData.SBV.Tools.BoundedFix
bfoldlData.SBV.Tools.BoundedList
bfoldlMData.SBV.Tools.BoundedList
bfoldrData.SBV.Tools.BoundedList
bfoldrMData.SBV.Tools.BoundedList
bimapData.SBV.Either
binData.SBV.Internals
BinaryDocumentation.SBV.Examples.Uninterpreted.Shannon
BinOpDocumentation.SBV.Examples.Queries.FourFours
binPData.SBV.Internals
binSData.SBV.Internals
BirdDocumentation.SBV.Examples.Puzzles.Fish
BitDocumentation.SBV.Examples.BitPrecise.Legato
bitData.SBV.Trans, Data.SBV
bitDefaultData.SBV.Trans, Data.SBV
bitReverse16Data.SBV.Trans, Data.SBV
bitReverse32Data.SBV.Trans, Data.SBV
bitReverse64Data.SBV.Trans, Data.SBV
bitReverse8Data.SBV.Trans, Data.SBV
BitsData.SBV.Trans, Data.SBV
bitSizeData.SBV.Trans, Data.SBV
bitSizeMaybeData.SBV.Trans, Data.SBV
BlackDocumentation.SBV.Examples.Puzzles.HexPuzzle
blastBEData.SBV.Trans, Data.SBV
blastLEData.SBV.Trans, Data.SBV
blastSDoubleData.SBV.Trans, Data.SBV
blastSFloatData.SBV.Trans, Data.SBV
blastSFloatingPointData.SBV.Trans, Data.SBV
Block 
1 (Type/Class)Documentation.SBV.Examples.Crypto.SHA
2 (Data Constructor)Documentation.SBV.Examples.Crypto.SHA
blockSizeDocumentation.SBV.Examples.Crypto.SHA
Blue 
1 (Data Constructor)Documentation.SBV.Examples.Puzzles.Fish
2 (Data Constructor)Documentation.SBV.Examples.Puzzles.Garden
3 (Data Constructor)Documentation.SBV.Examples.Puzzles.HexPuzzle
bmapData.SBV.Tools.BoundedList
bmapMData.SBV.Tools.BoundedList
bmaximumData.SBV.Tools.BoundedList
bmcData.SBV.Tools.BMC
bmcWithData.SBV.Tools.BMC
bminimumData.SBV.Tools.BoundedList
bneDocumentation.SBV.Examples.BitPrecise.Legato
Board 
1 (Type/Class)Documentation.SBV.Examples.Puzzles.MagicSquare
2 (Type/Class)Documentation.SBV.Examples.Puzzles.Sudoku
BonoDocumentation.SBV.Examples.Puzzles.U2Bridge
BoolectorData.SBV.Internals, Data.SBV.Trans, Data.SBV, Data.SBV.Dynamic
boolectorData.SBV.Trans, Data.SBV, Data.SBV.Dynamic
borData.SBV.Tools.BoundedList
BoundaryData.SBV.Tools.Range
BoundedCVData.SBV.Internals, Data.SBV.Trans, Data.SBV
bprodData.SBV.Tools.BoundedList
breverseData.SBV.Tools.BoundedList
BritonDocumentation.SBV.Examples.Puzzles.Fish
bsortData.SBV.Tools.BoundedList
bsumData.SBV.Tools.BoundedList
bumpTime1Documentation.SBV.Examples.Puzzles.U2Bridge
bumpTime2Documentation.SBV.Examples.Puzzles.U2Bridge
ButtonDocumentation.SBV.Examples.Puzzles.HexPuzzle
bvAddOData.SBV.Tools.Overflow
bvDivOData.SBV.Tools.Overflow
bvDropData.SBV.Trans, Data.SBV
bvExtractData.SBV.Trans, Data.SBV
BVIsNonZeroData.SBV.Trans, Data.SBV
bvMulOData.SBV.Tools.Overflow
bvMulOFastData.SBV.Tools.Overflow
bvNegOData.SBV.Tools.Overflow
bvSubOData.SBV.Tools.Overflow
bvTakeData.SBV.Trans, Data.SBV
BystanderDocumentation.SBV.Examples.Puzzles.Murder
ByteConverterData.SBV
byteSwap16Data.SBV.Trans, Data.SBV
byteSwap32Data.SBV.Trans, Data.SBV
byteSwap64Data.SBV.Trans, Data.SBV
bzipWithData.SBV.Tools.BoundedList