readme.md

Analysers are capable of checking if the syntax of a given structure is valid, or give suggestions to changes.

PDDL Analyser

The PDDL Analyser takes in a PDDLDecl and analyses its structure. It will give errors, warnings or messages depending on the severity of the issue. As an example, it will tell you if types are missmatches or if a predicate is unused. More generally, the analyser will look for:

• Correct type usage in predicates, actions, objects, etc.
• Check for unused predicates, objects, constants, etc.
• Check for undeclared predicates, objects, constants, etc.
• Check for unique names of predicates, objects, constants, etc.
• Messages for missing critical parts of the domain or problem (e.g. If no goal is declared or if there is no predicates) You can find all the messages/warnings/errors in the IErrorListener object.

Examples

To analyse a domain/problem (Note, the analyser will also contextualise the PDDL declaration, if it have not been contextualised):

IErrorListener listener = new ErrorListener();
IParser<INode> parser = new PDDLParser(listener);
IAnalyser<PDDLDecl> analyser = new PDDLAnalyser(listener);
PDDLDecl decl = new PDDLDecl(
    parser.ParseAs<DomainDecl>(new FileInfo("domain.pddl")),
    parser.ParseAs<ProblemDecl>(new FileInfo("problem.pddl"))
)
analyser.Analyse(decl);