Reference Z3RoundingMode Extension Reference

Z3RoundingMode

public extension Z3RoundingMode

getSort(_:)
Gets the statically-typed Z3Sort associated with RoundingModeSort from this Z3RoundingMode.
Declaration
Swift

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