This repository contains the current version of the VAL plan validation code.
Compilation under Linux using g++ should be straightforward: use "make validate", "make parser" etc. The repository also contains a ".cbp" file which is a CodeBlocks project file. Using this, the code is set up to offer the targets listed below for compilation using mingw under Windows. We have a version of the VAL code that compiles with Visual Studio, but have not completed the merging with this repository. Windows executables are in bin/validate, bin/parser etc.
The main difficulties we have experienced in the past in compiling tend to be in the flex/bison code. To avoid that, the code in this repository contains pddl+.cpp, which is the generated source, and does not require to be regenerated from the lex and yacc source files in src/Parser.
There are multiple targets, but the ones intended for general use are:
parser validate tan
These are: the PDDL parser, the VALidator and a type-analyser. The use for the first and last of these is straightforward:
parser <?problemfile>
(Problem file is optional).
tan
Note that the parser will find and report errors in PDDL more explicitly than VAL. The type-checking tool, tan, is reasonably robust at finding type errors in your PDDL domain/problem files.
VAL has many command line options, but the most important first few are:
validate -t -v <planfile....>
Multiple plan files can be handled together. The -t flag allows the value of epsilon to be set. The default value is 0.01, but 0.001 is a good value to use for most planners. Actions separated by epsilon or less are treated as simultaneous by VAL. -v is the verbose flag.
Another useful flag is the -l flag, which causes VAL to generate a LaTeX report, and -f sets the file destination for this (the .tex extension is automatically added, so need not be placed on the command line).