Python FNode.objectの例

コード例 #1

ファイル: proto_writer.py プロジェクト: aiplan4eu/upf

 def walk_object_exp(self, expression: model.FNode,
                     args: List[proto.Expression]) -> proto.Expression:
     return proto.Expression(
         atom=proto.Atom(symbol=expression.object().name),
         list=[],
         kind=proto.ExpressionKind.Value("CONSTANT"),
         type=str(expression.object().type),
     )

コード例 #2

ファイル: type_checker.py プロジェクト: aiplan4eu/upf

 def walk_object_exp(
     self, expression: FNode,
     args: List['unified_planning.model.types.Type']
 ) -> 'unified_planning.model.types.Type':
     assert expression is not None
     assert len(args) == 0
     return expression.object().type