search

h2r / Task-Scoping

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

Improve clarity regarding null/1 variables #19

Open camall3n opened 2 years ago

camall3n commented 2 years ago

Reviewer feedback:

Some aspects of formalism might be unnecessary, like the null/1 variables

Are these in fact necessary? Can things be simplified?

MichaelJFishman commented 1 year ago

Things can be simplified. We can remove the null output by using partial functions. We can remove the 1 as well. I'm not sure how much we'll have to rewrite to do this, but it's doable.