Differences between revisions 1 and 8 (spanning 7 versions)
Revision 1 as of 2014-01-27 16:33:32
Size: 3875
Comment: Merged three pages about OptionSyntax
Revision 8 as of 2017-05-01 07:08:42
Size: 5568
Editor: JendrikSeipp
Comment:
Deletions are marked like this. Additions are marked like this.
Line 5: Line 5:
The configuration syntax changed slightly in April 2011.


=
== Meaning of the call syntax documentation ===
== Meaning of the call syntax documentation ==
Line 46: Line 43:
=== Notes === == Notes ==
Line 49: Line 46:
 * not case-sensitive
 * To get positions and keywords, use
{{{
--help [Name]
}}}
Line 51: Line 53:

=
== Lists ===
== Lists ==
Line 56: Line 57:
./downward --heuristic "hff=ff()" --heuristic "hcea=cea()" \
            --search "lazy_greedy([hff, hcea], preferred=[hff, hcea])" \
            < output
--heuristic "hff=ff()" --heuristic "hcea=cea()" \
--search "lazy_greedy([hff, hcea], preferred=[hff, hcea])" \
Line 61: Line 61:
instead of

{{{
./downward --heuristic "hff=ff()" --heuristic "hcea=cea()" \
            --search "lazy_greedy(hff, hcea, preferred=(hff, hcea))" \
            < output
}}}

Single element lists can be given without any brackets, e.g.
{{{
./downward --heuristic "hff=ff()" \
            --search "lazy_greedy(hff, preferred=hff)" \
            < output
}}}

=== Enumerations ===
== Enumerations ==
Line 79: Line 64:
selmax([h1,h2], classifier=AODE) eager_greedy([h1,h2], cost_type=normal)
Line 83: Line 68:
selmax([h1,h2], classifier=1) eager_greedy([h1,h2], cost_type=0)
Line 88: Line 73:
./downward --help [Name] //e.g. with Name=selmax
}}}

=== Misc ===
 * not case-sensitive
 * every argument can be passed by position or by keyword. The only rule is that no positional arguments appear after the first keyword argument. To get positions and keywords, run
{{{
./downward --help [Name]
--help [Name] //e.g. with Name=eager_greedy
Line 99: Line 77:
== Predefinitions ==
Line 100: Line 79:
== Re-using predefined heuristics == Often an object should be used for several purposes, e.g. a [[Doc/Heuristic|Heuristic]] or a [[Doc/LandmarkFactory|LandmarkFactory]]. The most
prevalent use case is a heuristic that is used for both the heuristic
estimates and for its preferred operators. In this case, one should predefine the object.
Line 102: Line 83:
Often a heuristic instance should be used for several purposes. The most
prevalent use case is a heuristic that is used for both the heuristic
estimates and for its preferred operators.
=== Heuristic Predefinitions ===
Line 106: Line 85:
In this case, one should predefine the heuristic using the search option Heuristics can be predefined using the search option
Line 109: Line 88:
== Predefining a heuristic ==

=== Standard case ===
Line 114: Line 89:
name=heuristic --heuristic name=heuristic
Line 118: Line 93:
 * `heuristic` (HeuristicSpecification): the heuristic  * `heuristic` ([[Doc/Heuristic|Heuristic]]): the heuristic

=== Landmark Predefinitions ===

If a set of landmarks should be used for several purposes, it can be predefined using the search option
`--landmarks` (see [[PlannerUsage#search]]) to avoid duplicate work and memory usage.

{{{
--landmarks name=landmarks
}}}

 * `name` (string): a name that should denote the set of landmarks
 * `landmarks` ([[Doc/LandmarkFactory|LandmarkFactory]]): the set of landmarks

=== Predefinition Example ===

Suppose I want to run GBFS with the lm_count heuristic (the inadmissible version), and then run another GBFS search with an admissible lm_count heuristic,
using the h^m landmarks without discovering the landmarks twice.

{{{
--landmarks "lm=lm_hm(m=2)"
--search "iterated([
    lazy_greedy(lmcount(lm)),
    lazy_greedy(lmcount(lm,admissible=true))])"
}}}

== Conditional options ==

In some cases, it is useful to specify different options depending on properties of the input file. For example, the LAMA 2011 configuration makes use of this, adding an additional cost-ignoring search run at the start for tasks with non-unit action costs.

=== Example ===

{{{
--if-unit-cost --heuristic "h1=ff()" --heuristic "h2=blind()" \
--if-non-unit-cost --heuristic "h1=cea()" --heuristic "h2=lmcut()" \
--always --search "eager_greedy([h1, h2])"
}}}

This conducts an eager greedy search with two heuristics. On unit-cost tasks, it uses the FF heuristic and the blind heuristic. On other tasks, it uses the context-enhanced additive heuristic and the LM-Cut heuristic.

=== Details ===

Options can be made conditional via ''selectors'' such as `--if-unit-cost`. All options following a selector are only used if the condition associated with the selector is true. (This really includes '''all''' options, including ones like `--plan-file` that do not affect the planning algorithm.) Each selector is in effect until it is overridden by a new selector. The following selectors are available:

 * `--if-unit-cost`: the following options are only used for unit-cost planning tasks (i.e., tasks where all actions have cost 1, including the case where no action costs are specified at all)
 * `--if-non-unit-cost`: opposite of `--if-unit-cost`
 * `--always`: the following options are always used

Back to the HomePage.

Option Syntax

Meaning of the call syntax documentation

All parameters can be specified by keyword or by position. Once a parameter is specified by keyword, the rest of the parameters must be specified by keyword too. Some parameters have default values and are optional. These parameters are documented in the form keyword = defaultvalue.

Consider the following example:

name(p, qs, r, s=v1, t=Enum1)
  • p (type_p): some explanation

  • qs (list of type_q): some explanation

  • r (type_r): some explanation

  • s (type_s): some explanation

  • t (Enum): some explanation

    • Enum0: some explanation
    • Enum1: some explanation
    • Enum2: some explanation

Parameters p, qs and r are mandatory. qs is a list parameter. List parameters have to be enclosed in square brackets. An exception are single-element lists, where the brackets can be dropped. For example, let h1, h2, h3 be heuristic specifications, then [h1, h3], [h2] and h2 are examples for a list of heuristic specifications.

Parameters s and t are optional. s has the default value v1 and t the default value Enum1. t is an enumeration parameter and can only take the values listed (here Enum0, Enum1, Enum2). These values may also be passed by number, e.g. here t=Enum1 and t=1 are equivalent.

Some possible calls for this specification (with X and Xi having type_x):

  • name(P, Q, R): s and v have their default values v1 and Enum1

  • name(P, [Q], R): equivalent to previous call

  • name(P, [Q1, Q2], R, t=Enum2): s has its default value v1

  • name(t=1, r=R, qs=[Q1, Q2], s=S1, p=P) is equivalent to name(P, [Q1, Q2], R, S1, 1)

Notes

  • Parameters of type bool are specified by strings true or false

  • Parameters of type int can by specified by "infinity". This means that the parameter will take the value numeric_limits<int>::max(), which is usually equal to 2^31 - 1.

  • not case-sensitive
  • To get positions and keywords, use

--help [Name]

Lists

List arguments have to be enclosed in square brackets now. E.g.,

--heuristic "hff=ff()" --heuristic "hcea=cea()" \
--search "lazy_greedy([hff, hcea], preferred=[hff, hcea])" \

Enumerations

Enumeration arguments can now be specified by name or by number (previously only by number), e.g.

eager_greedy([h1,h2], cost_type=normal)

and

eager_greedy([h1,h2], cost_type=0)

are equivalent. To get enumeration names (and more), run

--help [Name]   //e.g. with Name=eager_greedy

Predefinitions

Often an object should be used for several purposes, e.g. a Heuristic or a LandmarkFactory. The most prevalent use case is a heuristic that is used for both the heuristic estimates and for its preferred operators. In this case, one should predefine the object.

Heuristic Predefinitions

Heuristics can be predefined using the search option --heuristic (see PlannerUsage#search).

--heuristic name=heuristic
  • name (string): a name that should denote the heuristic

  • heuristic (Heuristic): the heuristic

Landmark Predefinitions

If a set of landmarks should be used for several purposes, it can be predefined using the search option --landmarks (see PlannerUsage#search) to avoid duplicate work and memory usage.

--landmarks name=landmarks
  • name (string): a name that should denote the set of landmarks

  • landmarks (LandmarkFactory): the set of landmarks

Predefinition Example

Suppose I want to run GBFS with the lm_count heuristic (the inadmissible version), and then run another GBFS search with an admissible lm_count heuristic, using the h^m landmarks without discovering the landmarks twice.

--landmarks "lm=lm_hm(m=2)"
--search "iterated([
    lazy_greedy(lmcount(lm)),
    lazy_greedy(lmcount(lm,admissible=true))])" 

Conditional options

In some cases, it is useful to specify different options depending on properties of the input file. For example, the LAMA 2011 configuration makes use of this, adding an additional cost-ignoring search run at the start for tasks with non-unit action costs.

Example

--if-unit-cost --heuristic "h1=ff()" --heuristic "h2=blind()" \
--if-non-unit-cost --heuristic "h1=cea()" --heuristic "h2=lmcut()" \
--always --search "eager_greedy([h1, h2])"

This conducts an eager greedy search with two heuristics. On unit-cost tasks, it uses the FF heuristic and the blind heuristic. On other tasks, it uses the context-enhanced additive heuristic and the LM-Cut heuristic.

Details

Options can be made conditional via selectors such as --if-unit-cost. All options following a selector are only used if the condition associated with the selector is true. (This really includes all options, including ones like --plan-file that do not affect the planning algorithm.) Each selector is in effect until it is overridden by a new selector. The following selectors are available:

  • --if-unit-cost: the following options are only used for unit-cost planning tasks (i.e., tasks where all actions have cost 1, including the case where no action costs are specified at all)

  • --if-non-unit-cost: opposite of --if-unit-cost

  • --always: the following options are always used

FastDownward: OptionSyntax (last edited 2023-11-22 09:03:02 by GabiRoeger)