Python Formula.create Examples

Example #1

File: wmi_semiring.py Project: samldd/HybridePlanner

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

Example #2

File: wmi_semiring.py Project: samldd/HybridePlanner

 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)