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