Rename user-defined variables consistently #2

New Issue

patrick · 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.

No Label

No Milestone

No Assignees

1 Participants

Due Date

The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

0001-01-01

Dependencies

No dependencies set.

Reference: patrick/plasp#2