Atom parsing failes because of whitespace

aig-upf / tarski

Tarski - An AI Planning Modeling Framework

Apache License 2.0

59 stars 19 forks source link

Atom parsing failes because of whitespace #121

Closed phoeft670 closed 2 years ago

phoeft670 commented 2 years ago

When parsing .sas files from Fast-Downward parse_atom in utils/helpers.py raises an UndefinedElement error on atoms with arity higher than one, because the whitespace is not ignored.

I will provide a fix on a fork in a few minutes

miquelramirez commented 2 years ago

Thank you Paul. I wasn't aware we had a feature for parsing FD's SAS instance data. Will review it as soon as I can and merge into devel.

miquelramirez commented 2 years ago

Merged into devel. Will get into master as soon as we get ready to release 0.7.1.

Thanks again!