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)