Z3SortKind

public extension Z3SortKind

  • Declaration

    Swift

    static let uninterpretedSort: Z3_sort_kind

  • Declaration

    Swift

    static let boolSort: Z3_sort_kind

  • Declaration

    Swift

    static let intSort: Z3_sort_kind

  • Declaration

    Swift

    static let realSort: Z3_sort_kind

  • Declaration

    Swift

    static let bvSort: Z3_sort_kind

  • Declaration

    Swift

    static let arraySort: Z3_sort_kind

  • Declaration

    Swift

    static let datatypeSort: Z3_sort_kind

  • Declaration

    Swift

    static let relationSort: Z3_sort_kind

  • Declaration

    Swift

    static let finiteDomainSort: Z3_sort_kind

  • Declaration

    Swift

    static let floatingPointSort: Z3_sort_kind

  • Declaration

    Swift

    static let roundingModeSort: Z3_sort_kind

  • Declaration

    Swift

    static let seqSort: Z3_sort_kind

  • Declaration

    Swift

    static let reSort: Z3_sort_kind

  • Declaration

    Swift

    static let charSort: Z3_sort_kind

  • Declaration

    Swift

    static let unknownSort: Z3_sort_kind