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

Index - C

C 
1 (Data Constructor)Data.SBV.Tools.GenTest
2 (Data Constructor)Documentation.SBV.Examples.Misc.Enumerate
c1Documentation.SBV.Examples.Puzzles.Coins
c2Documentation.SBV.Examples.Puzzles.Coins
c3Documentation.SBV.Examples.Puzzles.Coins
c4Documentation.SBV.Examples.Puzzles.Coins
c5Documentation.SBV.Examples.Puzzles.Coins
c6Documentation.SBV.Examples.Puzzles.Coins
cacheData.SBV.Internals
CachedData.SBV.Internals
capabilitiesData.SBV.Internals, Data.SBV, Data.SBV.Dynamic
caseSplitData.SBV.Control
CatDocumentation.SBV.Examples.Puzzles.Fish
cg1Documentation.SBV.Examples.CodeGeneration.CRC_USB5
cg2Documentation.SBV.Examples.CodeGeneration.CRC_USB5
cgAddDeclData.SBV.Tools.CodeGen, Data.SBV.Internals, Data.SBV.Dynamic
cgAddLDFlagsData.SBV.Tools.CodeGen, Data.SBV.Internals, Data.SBV.Dynamic
cgAddPrototypeData.SBV.Tools.CodeGen, Data.SBV.Internals, Data.SBV.Dynamic
cgAES128BlockEncryptDocumentation.SBV.Examples.Crypto.AES
cgAES128LibraryDocumentation.SBV.Examples.Crypto.AES
CgArrayData.SBV.Internals
CgAtomicData.SBV.Internals
CgConfig 
1 (Type/Class)Data.SBV.Internals
2 (Data Constructor)Data.SBV.Internals
cgDeclsData.SBV.Internals
CgDoubleData.SBV.Tools.CodeGen, Data.SBV.Internals, Data.SBV.Dynamic
CgDriverData.SBV.Internals
cgDriverValsData.SBV.Internals
cgFinalConfigData.SBV.Internals
CgFloatData.SBV.Tools.CodeGen, Data.SBV.Internals, Data.SBV.Dynamic
cgGenDriverData.SBV.Internals
cgGenerateDriverData.SBV.Tools.CodeGen, Data.SBV.Internals, Data.SBV.Dynamic
cgGenerateMakefileData.SBV.Tools.CodeGen, Data.SBV.Internals, Data.SBV.Dynamic
cgGenMakefileData.SBV.Internals
CgHeaderData.SBV.Internals
cgIgnoreAssertsData.SBV.Internals
cgIgnoreSAssertData.SBV.Tools.CodeGen, Data.SBV.Internals, Data.SBV.Dynamic
cgInputData.SBV.Tools.CodeGen, Data.SBV.Internals
cgInputArrData.SBV.Tools.CodeGen, Data.SBV.Internals
cgInputsData.SBV.Internals
cgIntegerData.SBV.Internals
cgIntegerSizeData.SBV.Tools.CodeGen, Data.SBV.Internals, Data.SBV.Dynamic
cgLDFlagsData.SBV.Internals
CgLongDoubleData.SBV.Tools.CodeGen, Data.SBV.Internals, Data.SBV.Dynamic
CgMakefileData.SBV.Internals
cgOutputData.SBV.Tools.CodeGen, Data.SBV.Internals
cgOutputArrData.SBV.Tools.CodeGen, Data.SBV.Internals
cgOutputsData.SBV.Internals
cgOverwriteFilesData.SBV.Tools.CodeGen, Data.SBV.Internals
cgOverwriteGeneratedData.SBV.Internals
cgPerformRTCsData.SBV.Tools.CodeGen, Data.SBV.Internals, Data.SBV.Dynamic
CgPgmBundle 
1 (Type/Class)Data.SBV.Internals
2 (Data Constructor)Data.SBV.Internals
CgPgmKindData.SBV.Internals
cgPrototypesData.SBV.Internals
cgRealData.SBV.Internals
cgReturnData.SBV.Tools.CodeGen, Data.SBV.Internals
cgReturnArrData.SBV.Tools.CodeGen, Data.SBV.Internals
cgReturnsData.SBV.Internals
cgRTCData.SBV.Internals
cgSetDriverValuesData.SBV.Tools.CodeGen, Data.SBV.Internals, Data.SBV.Dynamic
CgSourceData.SBV.Internals
CgSRealTypeData.SBV.Tools.CodeGen, Data.SBV.Internals, Data.SBV.Dynamic
cgSRealTypeData.SBV.Tools.CodeGen, Data.SBV.Internals, Data.SBV.Dynamic
CgState 
1 (Type/Class)Data.SBV.Internals
2 (Data Constructor)Data.SBV.Internals
cgSymData.SBV.Tools.CodeGen, Data.SBV.Internals
CgTargetData.SBV.Internals
cgUninterpretData.SBV
CgValData.SBV.Internals
check 
1 (Function)Documentation.SBV.Examples.Puzzles.MagicSquare
2 (Function)Documentation.SBV.Examples.Puzzles.Sudoku
checkArithOverflowDocumentation.SBV.Examples.BitPrecise.BrokenSearch
checkCorrectMidValueDocumentation.SBV.Examples.BitPrecise.BrokenSearch
CheckedArithmeticData.SBV.Tools.Overflow
checkedDivDocumentation.SBV.Examples.Misc.NoDiv0
checkMutexDocumentation.SBV.Examples.Lists.BoundedMutex
checkOverflowDocumentation.SBV.Examples.BitPrecise.Legato
checkOverflowCorrectDocumentation.SBV.Examples.BitPrecise.Legato
checkSatData.SBV.Control
checkSatAssumingData.SBV.Control
checkSatAssumingWithUnsatisfiableSetData.SBV.Control
CheckSatResultData.SBV.Control
checkSatUsingData.SBV.Control
cherylDocumentation.SBV.Examples.Puzzles.Birthday
chexData.SBV.Internals
chrData.SBV.Char
chunkDocumentation.SBV.Examples.Puzzles.MagicSquare
classifyDocumentation.SBV.Examples.Uninterpreted.UISortAllSat
clcDocumentation.SBV.Examples.BitPrecise.Legato
clearBitData.SBV
ClosedData.SBV.Tools.Range
CodeGenData.SBV.Internals
codeGen 
1 (Function)Data.SBV.Internals
2 (Function)Documentation.SBV.Examples.BitPrecise.MergeSort
CoffeeDocumentation.SBV.Examples.Puzzles.Fish
CoinDocumentation.SBV.Examples.Puzzles.Coins
colDocumentation.SBV.Examples.Puzzles.Garden
Color 
1 (Type/Class)Documentation.SBV.Examples.Puzzles.Fish
2 (Type/Class)Documentation.SBV.Examples.Puzzles.Garden
3 (Type/Class)Documentation.SBV.Examples.Puzzles.HexPuzzle
combinationsDocumentation.SBV.Examples.Puzzles.Coins
compileToCData.SBV.Tools.CodeGen, Data.SBV.Dynamic
compileToC'Data.SBV.Internals
compileToCLibData.SBV.Tools.CodeGen, Data.SBV.Dynamic
compileToCLib'Data.SBV.Internals
complementData.SBV
complementBitData.SBV
ConcData.SBV.RegExp, Data.SBV.Internals
ConcatDocumentation.SBV.Examples.Strings.SQLInjection
concat 
1 (Function)Data.SBV.String
2 (Function)Data.SBV.List
ConcreteData.SBV.Internals
conditionalSetClearCorrectDocumentation.SBV.Examples.BitPrecise.BitTricks
ConsDocumentation.SBV.Examples.Uninterpreted.UISortAllSat
ConstDocumentation.SBV.Examples.Strings.SQLInjection
constrainData.SBV.Internals, Data.SBV
constrainWithAttributeData.SBV.Internals, Data.SBV
correctnessDocumentation.SBV.Examples.BitPrecise.MergeSort
correctnessTheoremDocumentation.SBV.Examples.BitPrecise.Legato
CountDocumentation.SBV.Examples.Puzzles.Counts
count 
1 (Function)Documentation.SBV.Examples.Puzzles.Counts
2 (Function)Documentation.SBV.Examples.Puzzles.Garden
countLeadingZerosData.SBV
countsDocumentation.SBV.Examples.Puzzles.Counts
countTrailingZerosData.SBV
crcData.SBV.Tools.Polynomial
crcBVData.SBV.Tools.Polynomial
crcGood 
1 (Function)Documentation.SBV.Examples.CodeGeneration.CRC_USB5
2 (Function)Documentation.SBV.Examples.Existentials.CRCPolynomial
crcUSBDocumentation.SBV.Examples.CodeGeneration.CRC_USB5
crcUSB'Documentation.SBV.Examples.CodeGeneration.CRC_USB5
crc_48_16Documentation.SBV.Examples.Existentials.CRCPolynomial
CriticalDocumentation.SBV.Examples.Lists.BoundedMutex
criticalDocumentation.SBV.Examples.Lists.BoundedMutex
crossTimeDocumentation.SBV.Examples.Puzzles.U2Bridge
csDemo1Documentation.SBV.Examples.Queries.CaseSplit
csDemo2Documentation.SBV.Examples.Queries.CaseSplit
CustomLogicData.SBV
CVC4Data.SBV.Internals, Data.SBV, Data.SBV.Dynamic
cvc4Data.SBV, Data.SBV.Dynamic
cvtModelData.SBV
CW 
1 (Type/Class)Data.SBV.Internals, Data.SBV.Dynamic
2 (Data Constructor)Data.SBV.Internals, Data.SBV.Dynamic
CWAlgRealData.SBV.Internals, Data.SBV.Dynamic
CWCharData.SBV.Internals, Data.SBV.Dynamic
CWDoubleData.SBV.Internals, Data.SBV.Dynamic
CWFloatData.SBV.Internals, Data.SBV.Dynamic
CWIntegerData.SBV.Internals, Data.SBV.Dynamic
CWListData.SBV.Internals, Data.SBV.Dynamic
cwSameTypeData.SBV.Internals
CWStringData.SBV.Internals, Data.SBV.Dynamic
cwToBoolData.SBV.Internals, Data.SBV.Dynamic
cwToSMTLibData.SBV.Internals
CWUserSortData.SBV.Internals, Data.SBV.Dynamic
CWValData.SBV.Internals, Data.SBV.Dynamic
cwValData.SBV.Internals, Data.SBV.Dynamic