Class BitVecSort

  • All Implemented Interfaces:
    Comparable<AST>

    public class BitVecSort
    extends Sort
    Bit-vector sorts.
    • Method Detail

      • getSize

        public int getSize()
        The size of the bit-vector sort.
        Returns:
        an int
        Throws:
        Z3Exception - on error