diff --git a/doc/output-format.md b/doc/output-format.md index a559e74..a8cc202 100644 --- a/doc/output-format.md +++ b/doc/output-format.md @@ -156,7 +156,7 @@ initialState(, ). The initial state contains all [variable](#variables) assignments that hold before executing any [actions](#actions). -Note that with PDDL, the initial state might not assign values to all variables. Instead, unassigned values have to be assigned `false` manually. +Note that with PDDL, `plasp` sets all unspecified initial state variables to `false` in order to make the initial state total. ### Goal