(self, left, right)
return self.create_node(node_type=op.BV_LSHL,
                                args=(left, right),
                                payload=(left.bv_width(),))
Returns the logical left shift the BV.
Returns the logical left shift the BV.
Returns the logical left shift the BV .
def BVLShl(self, left, right):
        """Returns the logical left shift the BV."""
        if is_python_integer(right):
            right = self.BV(right, left.bv_width())
        return self.create_node(node_type=op.BV_LSHL,
                                args=(left, right),
                                payload=(left.bv_width(),))
def BVLShl ( self , left , right ) : if is_python_integer ( right ) : right = self . BV ( right , left . bv_width ( ) ) return self . create_node ( node_type = op . BV_LSHL , args = ( left , right ) , payload = ( left . bv_width ( ) , ) )