BitVectorSort

public protocol BitVectorSort : NumericalSort

Protocol for bit vectors numerical sorts.

  • Bit-width of vector sort

    Declaration

    Swift

    static var bitWidth: UInt32 { get }
  • getSort(_:) Extension method

    Returns a bit vector sort with the number of bits described by Self.bitWidth.

    Declaration

    Swift

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