RoundingModeSort

public struct RoundingModeSort : SortKind

A RoundingMode sort for values that specify the rounding mode of floating point values

  • Returns a floating-point Rounding Mode sort.

    Declaration

    Swift

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