From 3535afb1e1fa5abc9b977795fca5657dbd95f593 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Sun, 14 Aug 2016 15:31:23 +0200 Subject: [PATCH] Minor clarification concerning constants and objects. --- 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 2e993cf..f451067 100644 --- a/doc/output-format.md +++ b/doc/output-format.md @@ -129,6 +129,6 @@ has(, ). ``` Constants and objects are the entities that are affected by [actions](#actions), for instance, the blocks in a Blocks World problem. - Constants are global for a domain, while objects are problem-specific. -`plasp` does not distinguish between the two, as both are identically used static identifiers. + +`plasp` does not distinguish between the two (modeling both as constants), as both are identically used static identifiers.