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