def neg_value(self, a, key=None):
m = re.search(r"w\(.*,(.*),(.*)\)", str(a)) # TODO: aanpassing
return Element([(Intervals({}), Formula.create(m.group(1)))],
"!" + str(key))
def pos_value(self, a, key=None):
m = re.search(r"w\((.*),.*,(.*)\)", str(a))
return Element(
[(Intervals.create(m.group(2)), Formula.create(m.group(1)))], key)
