Rename user-defined variables consistently #2

New Issue

2017-11-03T19:37:19+01:00

patrick commented

2017-11-03 19:37:19 +01:00

User defined variables can be problematic if multiple ones with the same name are used in nested expressions or with special characters, for example.

These should be replaced with X0, X1, etc.

User defined variables can be problematic if multiple ones with the same name are used in nested expressions or with special characters, for example. These should be replaced with `X0`, `X1`, etc.

patrick added this to the plasp 3.1.0 milestone 2017-11-03 19:37:19 +01:00

patrick self-assigned this 2017-11-03 19:37:19 +01:00

patrick added the task label 2017-11-03 19:37:19 +01:00

patrick modified the milestone from plasp 3.1.0 to plasp 3.1.1

2017-11-08 18:43:59 +01:00

patrick referenced this issue from a commit

2017-11-17 18:52:55 +01:00

Merge pull request #2 from mgebser/strips improved strips encodings

patrick closed this issue

2017-11-25 13:41:07 +01:00

This repo is archived. You cannot comment on issues.

1 Participants

Due Date

-

Dependencies

No dependencies set.

Reference: patrick/plasp#2