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