-
Notifications
You must be signed in to change notification settings - Fork 9
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Message from verifier complains about "Quantifiying over variable that is a method parameter" #24
Comments
I found another issue that is strange: when I run the verifier without verbose output (with
This error message also makes sense, as there is no such method and the mentioned IDs decompose different tasks (make-product-complex, make-a-product), which is impossible. As for the error that you got: The id of the matching task is the ID of the subtask and not of the decomposition that we are currently evaluating. The number of the decomposition we are looking at is given one line before:
The problem lies in the decomposition that is applied to task id=31, which is this method.
The problem here is the variable I've also just fixed the mismatch in error between |
I think I just expected that normal scoping rules -- in which the inner variable shadows the parameter variable -- would apply. Is there a specification of scoping rules anywhere in the PDDL or HDDL specs? I have a vague memory of having seen it somewhere, but can't recall where. |
Here is the command:
(I will make all the files available)
Here's the output:
Task 36 is as follows:
Here is the task definition:
Here's the definition of
ship-an-order-1
:This seems to be related to the verifier not liking the quantified precondition. In the source, obviously, there is no method here, but I believe there's something in the transformation performed by
pandaPIparser
and/orpandaPIgrounder
that is expanding this precondition into a method?Gist with all the input files
The text was updated successfully, but these errors were encountered: