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()]