BitVecSort constructor

BitVecSort(int size)

Implementation

BitVecSort(this.size);