Esempi in Python per arg

Esempio n. 1

File: environment.py Progetto: pllab/CoSA

 def walk_ltl(self, formula):
     node_type = formula.node_type()
     op_symbol = LTL_TYPE_TO_STR[node_type]
     self.stream.write("(%s " % op_symbol)
     yield formula.arg(0)
     self.stream.write(")")

Esempio n. 2

File: ltl.py Progetto: mpreiner/pysmt

 def walk_ltl(self, formula):
     node_type = formula.node_type()
     op_symbol = LTL_TYPE_TO_STR[node_type]
     self.stream.write("(%s " % op_symbol)
     yield formula.arg(0)
     self.stream.write(")")