Reference Z3Real Extension Reference

Z3Real

public extension Z3Real

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

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