def switch_context(self, context): self.previous_context.append(self.context) self.context = context global_assumptions.clear() global_assumptions.update(self.context.assumptions)
def restore(self): if self.previous is None: return self.assumptions.update(global_assumptions) global_assumptions.clear() global_assumptions.update(self.previous.assumptions)
def switch(self): global context self.previous = context context = self global_assumptions.clear() global_assumptions.update(self.assumptions)
def restore_context(self): self.context.assumptions.update(global_assumptions) self.context = self.previous_context.pop() global_assumptions.clear() global_assumptions.update(self.context.assumptions)
def restore(self): if self.previous is None: return self.assumptions.update(global_assumptions) global_assumptions.clear() global_assumptions.update(self.previous.assumptions)
def switch(self): global context self.previous = context context = self global_assumptions.clear() global_assumptions.update(self.assumptions)