Up – Package index » goblint » Library goblint.lib » Goblint_lib » FloatDomain

Module `Goblint_lib.FloatDomain`

Abstract Domains for floats. These are domains that support the C * operations on double/float values.

exception ArithmeticOnFloatBot of string

module type FloatArith = sig ... end

module type FloatDomainBase = sig ... end

module F64Interval : FloatDomainBase

module F32Interval : FloatDomainBase

module type FloatDomain = sig ... end

module FloatDomTupleImpl : FloatDomain