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

Index - D

DDocumentation.SBV.Examples.WeakestPreconditions.IntDiv
dDocumentation.SBV.Examples.Puzzles.Drinker
d1Documentation.SBV.Examples.Misc.ProgramPaths
D14Documentation.SBV.Examples.Puzzles.Birthday
D15Documentation.SBV.Examples.Puzzles.Birthday
D16Documentation.SBV.Examples.Puzzles.Birthday
D17Documentation.SBV.Examples.Puzzles.Birthday
D18Documentation.SBV.Examples.Puzzles.Birthday
D19Documentation.SBV.Examples.Puzzles.Birthday
d2Documentation.SBV.Examples.Misc.ProgramPaths
d3Documentation.SBV.Examples.Misc.ProgramPaths
d4Documentation.SBV.Examples.Misc.ProgramPaths
DaneDocumentation.SBV.Examples.Puzzles.Fish
DataDocumentation.SBV.Examples.Puzzles.AOC_2021_24
Day 
1 (Type/Class)Documentation.SBV.Examples.Optimization.Enumerate
2 (Type/Class)Documentation.SBV.Examples.Puzzles.Birthday
3 (Type/Class)Documentation.SBV.Examples.Queries.Enums
decimalData.SBV.RegExp
DeckDocumentation.SBV.Examples.Lists.CountOutAndTransfer
decrypt 
1 (Function)Documentation.SBV.Examples.Crypto.Prince
2 (Function)Documentation.SBV.Examples.Crypto.RC4
defaultCgConfigData.SBV.Internals
defaultDeltaSMTCfgData.SBV
DefaultPenaltyData.SBV.Internals, Data.SBV.Trans, Data.SBV
defaultSMTCfgData.SBV.Trans, Data.SBV, Data.SBV.Dynamic
defaultSolverConfigData.SBV.Trans, Data.SBV, Data.SBV.Dynamic
defaultWPCfgData.SBV.Tools.WeakestPreconditions
deleteData.SBV.Set
DeltaSatData.SBV.Internals, Data.SBV.Trans, Data.SBV, Data.SBV.Dynamic
demo 
1 (Function)Documentation.SBV.Examples.Queries.AllSat
2 (Function)Documentation.SBV.Examples.Queries.Concurrency
demoDependentDocumentation.SBV.Examples.Queries.Concurrency
denominatorData.SBV.Trans, Data.SBV
depositThenExtractDocumentation.SBV.Examples.BitPrecise.PEXT_PDEP
derivativeDocumentation.SBV.Examples.Uninterpreted.Shannon
dexDocumentation.SBV.Examples.BitPrecise.Legato
diagDocumentation.SBV.Examples.Puzzles.MagicSquare
DiagnosticOutputChannelData.SBV.Trans.Control, Data.SBV.Control
DictDocumentation.SBV.Examples.Misc.Tuple
dieHardDocumentation.SBV.Examples.Puzzles.DieHard
DiffData.SBV.RegExp, Data.SBV.Internals
differenceData.SBV.Set
digitData.SBV.RegExp
digitToIntData.SBV.Char
disjointData.SBV.Set
displayModelsData.SBV.Trans, Data.SBV
distinctData.SBV.Internals, Data.SBV.Trans, Data.SBV
distinctExceptData.SBV.Internals, Data.SBV.Trans, Data.SBV
divDocumentation.SBV.Examples.Puzzles.AOC_2021_24
DivideDocumentation.SBV.Examples.Queries.FourFours
DividesData.SBV.Internals
DivOvData.SBV.Internals
DivS 
1 (Type/Class)Documentation.SBV.Examples.WeakestPreconditions.IntDiv
2 (Data Constructor)Documentation.SBV.Examples.WeakestPreconditions.IntDiv
DogDocumentation.SBV.Examples.Puzzles.Fish
DollyDocumentation.SBV.Examples.Puzzles.Orangutans
doRoundsDocumentation.SBV.Examples.Crypto.AES
doubleToWordData.SBV.Internals
dprove 
1 (Function)Data.SBV.Trans
2 (Function)Data.SBV
dproveWith 
1 (Function)Data.SBV.Trans
2 (Function)Data.SBV
DRealData.SBV.Internals, Data.SBV.Trans, Data.SBV, Data.SBV.Dynamic
dRealData.SBV.Trans, Data.SBV, Data.SBV.Dynamic
drinkerDocumentation.SBV.Examples.Puzzles.Drinker
drop 
1 (Function)Data.SBV.String
2 (Function)Data.SBV.List
dropReDocumentation.SBV.Examples.Strings.SQLInjection
drop_allDocumentation.SBV.Examples.KnuckleDragger.Lists
drop_appendDocumentation.SBV.Examples.KnuckleDragger.Lists
drop_consDocumentation.SBV.Examples.KnuckleDragger.Lists
drop_dropDocumentation.SBV.Examples.KnuckleDragger.Lists
drop_mapDocumentation.SBV.Examples.KnuckleDragger.Lists
DSatData.SBV.Trans.Control, Data.SBV.Control
dsat 
1 (Function)Data.SBV.Trans
2 (Function)Data.SBV
dsatPrecisionData.SBV.Internals, Data.SBV.Trans, Data.SBV, Data.SBV.Dynamic
dsatWith 
1 (Function)Data.SBV.Trans
2 (Function)Data.SBV