B | Data.Number.ER.Real.DefaultRepr, Data.Number.ER.Real, Data.Number.ER |
BAP | Data.Number.ER.Real.DefaultRepr, Data.Number.ER.Real, Data.Number.ER |
besidesTable | Data.Number.ER.ShowHTML |
bestSplit | Data.Number.ER.BasicTypes.DomainBox |
BGran100 | |
1 (Type/Class) | Data.Number.ER.Real.Base.Tests.Generate |
2 (Data Constructor) | Data.Number.ER.Real.Base.Tests.Generate |
BGran1000 | |
1 (Type/Class) | Data.Number.ER.Real.Base.Tests.Generate |
2 (Data Constructor) | Data.Number.ER.Real.Base.Tests.Generate |
BGran20 | |
1 (Type/Class) | Data.Number.ER.Real.Base.Tests.Generate |
2 (Data Constructor) | Data.Number.ER.Real.Base.Tests.Generate |
binaryLog | Data.Number.ER.BasicTypes.ExtendedInteger |
bisectDomain | Data.Number.ER.Real.Approx, Data.Number.ER.Real, Data.Number.ER |
BM | Data.Number.ER.Real.DefaultRepr, Data.Number.ER.Real, Data.Number.ER |
BMAP | Data.Number.ER.Real.DefaultRepr, Data.Number.ER.Real, Data.Number.ER |
bool2maybe | Data.Number.ER.Misc |
bottomApprox | Data.Number.ER.Real.Approx, Data.Number.ER.Real, Data.Number.ER |
bounds | Data.Number.ER.Real.Approx, Data.Number.ER.Real, Data.Number.ER |
Box | Data.Number.ER.BasicTypes.DomainBox.IntMap |
BR | Data.Number.ER.Real.DefaultRepr, Data.Number.ER.Real, Data.Number.ER |