ReSort

public struct ReSort<Element> where Element : SortKind

A meta-sort that is used to represent regular expression sorts. Is not a SortKind itself as it is not a concrete type that can specialize Z3Ast instances, but used solely to refer to regular expression sorts.

The element is the element of the underlying sequence sort of the regular expression.

  • Creates a concrete instance of a Z3 sort that represents this sort kind.

    Declaration

    Swift

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