def ufc_minus(self):
from until import UNTIL
from _and import AND
from _not import NOT
return [UNTIL(AND(self.operand1, NOT(self.operand2)),
AND(y, NOT(self.operand2)), self.lower_bound, self.upper_bound)
for y in self.operand1.ufc_minus()] \
+ [UNTIL(AND(self.operand1, NOT(self.operand2)),
AND(y, NOT(UNTIL(self.operand1, self.operand2, self.lower_bound, self.upper_bound))),
self.lower_bound, self.upper_bound) for y in self.operand2.ufc_minus()]
def picc(self):
from _and import AND
from _not import NOT
from _or import OR
return [UNTIL(AND(self.operand1, NOT(self.operand2)),
AND(y, OR(self.operand2, UNTIL(self.operand1, self.operand2,
self.lower_bound, self.upper_bound))),
self.lower_bound, self.upper_bound) for y in self.operand1.picc()] \
+ [UNTIL(AND(self.operand1, NOT(self.operand2)),
AND(y, OR(self.operand2, UNTIL(self.operand1, self.operand2,
self.lower_bound, self.upper_bound))),
self.lower_bound, self.upper_bound) for y in self.operand2.picc()]
def ufc_minus(self):
from until import UNTIL
from _not import NOT
from _and import AND
from globally import GLOBALLY
return [
UNTIL(
NOT(self.operand1),
AND(
y,
GLOBALLY(NOT(self.operand1), self.lower_bound,
self.upper_bound)), self.lower_bound,
self.upper_bound) for y in self.operand1.ufc_minus()
]
def ufc_plus(self):
from until import UNTIL
from _not import NOT
return [
UNTIL(NOT(self.operand1), y, self.lower_bound, self.upper_bound)
for y in self.operand1.ufc_plus()
]
def picc(self):
from until import UNTIL
from _not import NOT
from _and import AND
from _or import OR
return [
UNTIL(
NOT(self.operand1),
AND(
y,
OR(
self.operand1,
FINALLY(self.operand1, self.lower_bound,
self.upper_bound))), self.lower_bound,
self.upper_bound) for y in self.operand1.picc()
]
def ufc_minus(self):
from _not import NOT
from until import UNTIL
return NOT(
UNTIL(NOT(self.operand1), NOT(self.operand2), self.lower_bound,
self.upper_bound)).ufc_minus()
def expand(self):
from _not import NOT
from until import UNTIL
from ap import ap_true
return NOT(UNTIL(ap_true, NOT(self.operand1.expand()), self.lower_bound, self.upper_bound))
def picc(self):
from _and import AND
from _not import NOT
return [AND(y, NOT(self.operand2)) for y in self.operand1.picc()] \
+ [AND(NOT(self.operand1), y) for y in self.operand2.picc()]
def picc(self):
from _not import NOT
from until import UNTIL
return NOT(
UNTIL(NOT(self.operand1), NOT(self.operand2), self.lower_bound,
self.upper_bound)).picc()
def negationnormalform(self):
from _or import OR
from _not import NOT
return OR(NOT(self.operand1), self.operand2).negationnormalform()
def eno(self):
from _not import NOT
return [NOT(self)] + [AND(y, self.operand2) for y in self.operand1.eno()] \
+ [AND(self.operand1, y) for y in self.operand2.eno()]
def ufc_minus(self):
from _or import OR
from _not import NOT
return OR(NOT(self.operand1), self.operand2).ufc_minus()
def picc(self):
from _or import OR
from _not import NOT
return OR(NOT(self.operand1), self.operand2).picc()
def expand(self):
from _not import NOT
from until import UNTIL
return NOT(
UNTIL(NOT(self.operand1.expand()), NOT(self.operand2.expand()),
self.lower_bound, self.upper_bound))
def picc(self):
from _not import NOT
return [self, NOT(self)]
def ufc_minus(self):
from _not import NOT
return [NOT(self)]
def ano(self):
from _not import NOT
return [NOT(self)]
def ufc_minus(self):
from _and import AND
from _not import NOT
return [AND(y, NOT(self.operand2)) for y in self.operand1.ufc_minus()] \
+ [AND(NOT(self.operand1), y) for y in self.operand2.ufc_minus()]