(self, formula, increase)
return self.create_node(node_type=op.BV_ZEXT,
                                args=(formula,),
                                payload=(formula.bv_width()+increase,
                                         increase))
Returns the extension of the BV with 'increase' additional bits

        New bits are set to zero.
Returns the extension of the BV with 'increase' additional bits
Returns the extension of the BV with increase additional bits
def BVZExt(self, formula, increase):
        """Returns the extension of the BV with 'increase' additional bits

        New bits are set to zero.
        """
        if not is_python_integer(increase):
            raise PysmtTypeError("BVZext: 'increase' should be an integer. "
                                 "Got %s" % increase)
        return self.create_node(node_type=op.BV_ZEXT,
                                args=(formula,),
                                payload=(formula.bv_width()+increase,
                                         increase))
def BVZExt ( self , formula , increase ) : if not is_python_integer ( increase ) : raise PysmtTypeError ( "BVZext: 'increase' should be an integer. " "Got %s" % increase ) return self . create_node ( node_type = op . BV_ZEXT , args = ( formula , ) , payload = ( formula . bv_width ( ) + increase , increase ) )