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

Minor cleanup in documentation.

Browse Source
This commit is contained in:
Patrick Lühne 2016-08-13 19:01:57 +02:00
parent a5a300b150
commit bdd68f04e1
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
doc/output-format.md
View File

@ -86,7 +86,6 @@ This section specifies all object types used by the problem (only with PDDL and
syntax | description syntax | description
-------|------------ -------|------------
`type(type(<type name>)).` | declares the type `type(<type name>)` `type(type(<type name>)).` | declares the type `type(<type name>)`
`has(<object>, type(<type name>)).` | declares `<object>` to be of type `type(<type name>)`
### Example ### Example
@ -108,7 +107,7 @@ Constants and objects are not distinguished by `plasp`.
syntax | description syntax | description
-------|------------ -------|------------
`constant(constant(<constant name>)).` | declares the constant or object `constant(<constant name>)` `constant(constant(<constant name>)).` | declares the constant or object `constant(<constant name>)`
`has(constant(<constant name>), type(<type name>)).` | declares constant or object `constant(<constant name>)` to be of type `type(<type name>)` `has(constant(<constant name>), type(<type name>)).` | declares constant or object `constant(<constant name>)` to be of [type](#type) `type(<type name>)`
### Example ### Example