Directory Resolution Tokens in the Belief State

During configuration of the config file options, certain string options can make use of directory resolution tokens. These tokens have semantic meaning and are replaced by their respective real values when being read from the configuration file.

Available options that can be utilized are:

Single-word options (like HOME and WORKSPACE) can also be used without the curly brackets.