Exemplos de arg em Python

Exemplo n.º 1

Arquivo: environment.py Projeto: 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(")")

Exemplo n.º 2

Arquivo: ltl.py Projeto: 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(")")