From d00c5bb7539846cba6fb9d2cb82c2b1e8b0e161f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Sat, 13 Aug 2016 17:42:02 +0200 Subject: [PATCH] Minor rephrasing in documentation. --- doc/output-format.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/output-format.md b/doc/output-format.md index 970ce0c..b42a7b7 100644 --- a/doc/output-format.md +++ b/doc/output-format.md @@ -10,7 +10,7 @@ Declares advanced features required by the input planning problem, such as conditional effects and axiom rules. -Feature requirements may be used in meta encodings to warn about features that are unsupported by the encoding. +Feature requirements may be used in meta encodings to warn about unsupported features. syntax | description -------|------------ @@ -21,5 +21,5 @@ Currently, feature requirements are only recognized with SAS problems. SAS feature | description ------------|------------ `actionCosts` | actions have associated costs -`axiomRules` | immediate actions used, which are executed as soon as the preconditions are satisfied +`axiomRules` | immediate actions are used, which are executed as soon as the preconditions are satisfied `conditionalEffects` | some effects of an action may have additional conditions