patrick
/
plasp
Archived
1
0
Fork 0
Code Issues 12 Releases 8 Activity

Minor clarification concerning constants and objects.

This commit is contained in:
Patrick Lühne 2016-08-14 15:31:23 +02:00
parent 7a63e4abb9
commit 3535afb1e1
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
doc/output-format.md
View File

@ -129,6 +129,6 @@ has(<constant>, <type>).
```
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.