VAL icon indicating copy to clipboard operation
VAL copied to clipboard

Parser warnings for missing :number-fluents requirement

Open jan-dolejsi opened this issue 5 years ago • 1 comments

The Parser reports warnings that do not seem right. Consider this domain file:

Line 7: (:requirements :strips :durative-actions :typing)
(:functions
    (speed ?c - car)
)

and an action effect:

Line 22: (assign (speed ?c) 60)

The parser reports this warning on the line with the assign effect:

domain.pddl: line: 22: Warning: Undeclared requirement :number-fluents

I could not find a :number-fluents requirement documented anywhere. If I add it to the (:requirements ) list, I get slapped over my fingers with a syntax error:

domain.pddl: line: 7: Error: Syntax error in requirements declaration.

FYI, now that the Parser is hooked up behind VS Code, these warnings are very very visible.

jan-dolejsi avatar Aug 01 '19 14:08 jan-dolejsi

I believe it should be :numeric-fluents

guicho271828 avatar Aug 01 '19 14:08 guicho271828