Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Added Goal specification to Arithmetic Postconditions #19

Merged
merged 6 commits into from
Dec 18, 2023
Merged

Added Goal specification to Arithmetic Postconditions #19

Changes from 4 commits
Commits
Show all changes
6 commits
Select commit Hold shift + click to select a range
39e5b73
Added Goal specification to Arithmetic Postconditions
JanWerder Dec 16, 2023
6b4bbbb
Merge branch 'caesuric:main' into main
JanWerder Dec 16, 2023
d262da7
Exposed CurrentActionSequences with a Getter
JanWerder Dec 16, 2023
6741ea3
Revert "Exposed CurrentActionSequences with a Getter"
JanWerder Dec 16, 2023
3611a4a
Update README.md with suggested edit.
caesuric Dec 18, 2023
e046399
Update README.md
caesuric Dec 18, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 2 additions & 0 deletions README.md
View file
Open in desktop
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.
caesuric marked this conversation as resolved.
Show resolved Hide resolved

#### 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
Loading