Ejemplo n.º 1
0
 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)