Index - G
getApproxBinaryLog | Data.Number.ER.Real.Base |
getGranularity | |
1 (Function) | Data.Number.ER.Real.Approx, Data.Number.ER.Real, Data.Number.ER |
2 (Function) | Data.Number.ER.Real.Base |
getMaxRounding | Data.Number.ER.Real.Base |
getNVars | Data.Number.ER.BasicTypes.DomainBox |
getOverestimation | Data.Number.ER.Real.Approx.Tests.Reporting |
getPrecision | Data.Number.ER.Real.Approx, Data.Number.ER.Real, Data.Number.ER |
Gran100 | |
1 (Type/Class) | Data.Number.ER.BasicTypes.Tests.Generate |
2 (Data Constructor) | Data.Number.ER.BasicTypes.Tests.Generate |
Gran1000 | |
1 (Type/Class) | Data.Number.ER.BasicTypes.Tests.Generate |
2 (Data Constructor) | Data.Number.ER.BasicTypes.Tests.Generate |
gran2effIx | Data.Number.ER.BasicTypes, Data.Number.ER.Real.Base, Data.Number.ER.Real, Data.Number.ER |
Granularity | Data.Number.ER.BasicTypes, Data.Number.ER.Real.Base, Data.Number.ER.Real, Data.Number.ER |