search

h2r / Task-Scoping

Remove irrelevant variables and operators from planning problems via static analysis!
2 stars 0 forks source link

Write SAS parser #24

Open MichaelJFishman opened 2 years ago

MichaelJFishman commented 2 years ago

The Fast Downward translator generates SAS files with meaningless variable and action names. For debugging purposes, it would be helpful if we could manually edit in intuitive names, and run the scoper on that edited SAS file. This requires us to get a SAS parser.

MichaelJFishman commented 2 years ago

SAS is structured in a way that makes it pretty easy to parse with regex. Though I'm not sure how to deal with axioms yet.