Skip to content

Commit

Permalink
Added Goal specification to Arithmetic Postconditions
Browse files Browse the repository at this point in the history
  • Loading branch information
JanWerder authored Dec 16, 2023
1 parent 7b8c735 commit 39e5b73
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -217,6 +217,8 @@ Action heal = new Action(
);
```

Arithmetic postconditions are meant to be used with [Comparative Goals](#comparative-goals). They don't apply to normal Goals.

#### Parameter Postconditions

**Parameter postconditions** are postconditions that copy one of the parameters passed to the action into the agent state. The structure uses a dictionary of string keys and string values, where the keys are the keys to the parameter value being copied and the values are the state key into which you are copying the value.
Expand Down

0 comments on commit 39e5b73

Please sign in to comment.