(self, formula, count=1)
return res
Returns the concatenation of count copies of formula.
Returns the concatenation of count copies of formula.
Returns the concatenation of count copies of formula .
def BVRepeat(self, formula, count=1):
        """Returns the concatenation of count copies of formula."""
        res = formula
        for _ in range(count-1):
            res = self.BVConcat(res, formula)
        return res
def BVRepeat ( self , formula , count = 1 ) : res = formula for _ in range ( count - 1 ) : res = self . BVConcat ( res , formula ) return res