RealSort

public struct RealSort : ArithmeticSort

A real number sort. Note that this type is not a floating point number.

  • Returns a Real sort. Note that this type is not a floating point number.

    Declaration

    Swift

    public static func getSort(_ context: Z3Context) -> Z3Sort