22 Jul
2022
22 Jul
'22
6:47 a.m.
class Region: def __init__(self, *entries, left_write = None, right_write = None): self.entries = entries self.left_write = left_write self.right_write = right_write class Write(Chunk): def __init__(self, offset, data, flush, left_region = None, right_region = None) super().__init__(offset, offset + len(data), data, age=flush.age) self.left_region = left_region self.right_region = right_region def __init__(self, prev_flush = None): self.regions = [] self.writes = []