Python arg 예제들

예제 #1

파일: environment.py 프로젝트: 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(")")

예제 #2

파일: ltl.py 프로젝트: 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(")")