def walk_variable_exp(self, expression: model.FNode, args: List[proto.Expression]) -> proto.Expression: return proto.Expression( atom=proto.Atom(symbol=expression.variable().name), list=[], kind=proto.ExpressionKind.Value("VARIABLE"), type=str(expression.variable().type), )
def walk_variable_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.variable().type
def walk_variable_exp(self, expression: FNode, args: List[FNode]) -> FNode: assert self._variable_assignments is not None res = self._variable_assignments.get(expression.variable(), None) if res is not None: res, = self.manager.auto_promote(res) assert type(res) is FNode return res else: raise UPProblemDefinitionError( f"Value of Variable {str(expression)} not found in {str(self._variable_assignments)}" )