(self)
return self.node_type() == BV_UDIV
Test whether the node is the BVUDiv operator.
Test whether the node is the BVUDiv operator.
Test whether the node is the BVUDiv operator .
def is_bv_udiv(self):
        """Test whether the node is the BVUDiv operator."""
        return self.node_type() == BV_UDIV
def is_bv_udiv ( self ) : return self . node_type ( ) == BV_UDIV