def tio(self, lower_bound=None, upper_bound=None): from _finally import FINALLY from globally import GLOBALLY from next import NEXT return [AND(FINALLY(self.operand1, lower_bound, upper_bound), self.operand2), AND(self.operand1, FINALLY(self.operand2, lower_bound, upper_bound)), AND(GLOBALLY(self.operand1, lower_bound, upper_bound), self.operand2), AND(self.operand1, GLOBALLY(self.operand2, lower_bound, upper_bound)), AND(NEXT(self.operand1, upper_bound), self.operand2), AND(self.operand1, NEXT(self.operand2, upper_bound))] \ + [AND(y, self.operand2) for y in self.operand1.tio(lower_bound, upper_bound) if not y == self.operand2] \ + [AND(self.operand1, y) for y in self.operand2.tio(lower_bound, upper_bound) if not y == self.operand1]
def tio(self, lower_bound=None, upper_bound=None): from _finally import FINALLY from globally import GLOBALLY from next import NEXT return [NOT(FINALLY(self.operand1, lower_bound, upper_bound)), NOT(GLOBALLY(self.operand1, lower_bound, upper_bound)), NOT(NEXT(self.operand1, upper_bound))] \ + [NOT(y) for y in self.operand1.tio(lower_bound, upper_bound)]
def tio(self, lower_bound=None, upper_bound=None): from _finally import FINALLY from globally import GLOBALLY from next import NEXT return [ FINALLY(self, lower_bound, upper_bound), GLOBALLY(self, lower_bound, upper_bound), NEXT(self, upper_bound), self ]
def tro(self): from next import NEXT from _finally import FINALLY return [NEXT(self.operand1, self.upper_bound), FINALLY(self.operand1, self.lower_bound, self.upper_bound)] \ + [GLOBALLY(y, self.lower_bound, self.upper_bound) for y in self.operand1.tro()]
def tro(self): from _finally import FINALLY from globally import GLOBALLY return [FINALLY(self.operand1, self.lower_bound, self.lower_bound), GLOBALLY(self.operand1, self.lower_bound, self.lower_bound)] \ + [NEXT(y, self.lower_bound) for y in self.operand1.tro()]