def __init__(self, key, p, left, right, color, minimum, maximum,
predecessor, successor):
rb_node.__init__(self, key, p, left, right, color)
self.minimum = minimum
self.maximum = maximum
self.predecessor = predecessor
self.successor = successor
def __init__(self, key, p, left, right, color, bh):
rb_node.__init__(self, key, p, left, right, color)
self.bh = bh
def __init__(self, key, p, left, right, color, successor, min_gap):
rb_node.__init__(self, key, p, left, right, color)
self.successor = successor
self.min_gap = min_gap
def __init__(self, key, p, left, right, color, rank):
rb_node.__init__(self, key, p, left, right, color)
self.rank = rank
def __init__(self, key, p, left, right, color, interval, maximum):
rb_node.__init__(self, key, p, left, right, color)
self.interval = interval
self.maximum = maximum
def __init__(self, key, p, left, right, color, size):
rb_node.__init__(self, key, p, left, right, color)
self.size = size
def __init__(self, key, p, left, right, color, depth):
rb_node.__init__(self, key, p, left, right, color)
self.depth = depth
