(self, width)
return bvsort
Return the z3 BitVecSort for the given width.
Return the z3 BitVecSort for the given width.
Return the z3 BitVecSort for the given width .
def z3BitVecSort(self, width):
        """Return the z3 BitVecSort for the given width."""
        try:
            bvsort = self._z3BitVecSorts[width]
        except KeyError:
            bvsort = z3.BitVecSort(width, self.ctx)
            self._z3BitVecSorts[width] = bvsort
        return bvsort
def z3BitVecSort ( self , width ) : try : bvsort = self . _z3BitVecSorts [ width ] except KeyError : bvsort = z3 . BitVecSort ( width , self . ctx ) self . _z3BitVecSorts [ width ] = bvsort return bvsort