(self, formula, start=0, end=None)
return self.create_node(node_type=op.BV_EXTRACT,
                                args=(formula,),
                                payload=(size, start, end))
Returns the slice of formula from start to end (inclusive).
Returns the slice of formula from start to end (inclusive).
Returns the slice of formula from start to end ( inclusive ) .
def BVExtract(self, formula, start=0, end=None):
        """Returns the slice of formula from start to end (inclusive)."""
        if end is None: end = formula.bv_width()-1
        assert is_python_integer(start) and is_python_integer(end)
        assert end >= start and start >= 0, "Start: %d ; End: %d" % (start,end)
        size = end-start+1

        assert size <= formula.bv_width(), \
            "Invalid size: start=%d, end=%d, width=%d" % \
            (start, end, formula.bv_width())
        return self.create_node(node_type=op.BV_EXTRACT,
                                args=(formula,),
                                payload=(size, start, end))
def BVExtract ( self , formula , start = 0 , end = None ) : if end is None : end = formula . bv_width ( ) - 1 assert is_python_integer ( start ) and is_python_integer ( end ) assert end >= start and start >= 0 , "Start: %d ; End: %d" % ( start , end ) size = end - start + 1 assert size <= formula . bv_width ( ) , "Invalid size: start=%d, end=%d, width=%d" % ( start , end , formula . bv_width ( ) ) return self . create_node ( node_type = op . BV_EXTRACT , args = ( formula , ) , payload = ( size , start , end ) )