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