Revision 1 as of 2014-04-20 17:49:59

Clear message

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:

  1. Successor Generator section

  2. Domain Transition Graphs section

  3. Causal Graph section

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.