FloatingSort
public protocol FloatingSort : NumericalSort
Protocol for floating-point numerical sorts.
-
getEbits(_:
Default implementation) Retrieves the number of bits reserved for the exponent in this
FloatingPoint
sort.Default Implementation
Retrieves the number of bits reserved for the exponent in this
FloatingPoint
sort.Declaration
Swift
static func getEbits(_ context: Z3Context) -> UInt32
-
getSbits(_:
Default implementation) Retrieves the number of bits reserved for the significand in this
FloatingPoint
sort.Default Implementation
Retrieves the number of bits reserved for the significand in this
FloatingPoint
sort.Declaration
Swift
static func getSbits(_ context: Z3Context) -> UInt32