(self)
return self.node_type() == BV_LSHR
Test whether the node is the BVLShr (logical shift right) operator.
Test whether the node is the BVLShr (logical shift right) operator.
Test whether the node is the BVLShr ( logical shift right ) operator .
def is_bv_lshr(self):
        """Test whether the node is the BVLShr (logical shift right) operator."""
        return self.node_type() == BV_LSHR
def is_bv_lshr ( self ) : return self . node_type ( ) == BV_LSHR