Output of the Fast Downward preprocessor
This page describes the output format of the preprocessor component of Fast Downward. The preprocessor takes the output.sas file generated by the translator and adds three sections. The common sections are described in TranslatorOutputFormat.
Preprocessor file format
The following sections are added:
Preprocessor file format: Successor Generator section
This section is a textual representation of the successor generator that is used when the search computes a state's successors.