(self)
| 18 | no_warn: set[Universe] |
| 19 | |
| 20 | def __init__(self): |
| 21 | self.solver = Solver(name="g4") |
| 22 | self.var_counter = itertools.count(start=1) |
| 23 | self.universe_vars = defaultdict(lambda: next(self.var_counter)) |
| 24 | self.no_warn = set() |
| 25 | |
| 26 | def register_as_equal(self, left: Universe, right: Universe) -> None: |
| 27 | self._register_as_equal(left, right) |