Skip to content

Commit

Permalink
documentation fixes: updated problem kind documentation
Browse files Browse the repository at this point in the history
  • Loading branch information
Samuel Gobbi committed Dec 20, 2024
1 parent 40a8c2e commit 56cbda1
Showing 1 changed file with 15 additions and 0 deletions.
15 changes: 15 additions & 0 deletions docs/problem_representation.rst
Original file line number Diff line number Diff line change
Expand Up @@ -69,6 +69,9 @@ Problem Kinds
* -
- FLUENTS_IN_DURATION
- The duration of at least one action is specified using non-static fluents (that might change over the course of a plan).
* -
- INTERPRETED_FUNCTIONS_IN_DURATION
- The duration of at least one action is specified using interpreted functions.
* -
- INT_TYPE_DURATIONS
- The duration of at least one action is of int type; added in ProblemKind's version 2.
Expand Down Expand Up @@ -99,6 +102,9 @@ Problem Kinds
* -
- UNIVERSAL_CONDITIONS
- The problem has at least a condition using the “forall” quantifier over problem objects.
* -
- INTERPRETED_FUNCTIONS_IN_CONDITIONS
- The problem has at least a condition whose expression contains an interpreted function.
* - EFFECTS_KIND
- CONDITIONAL_EFFECTS
- At least one effect has a condition.
Expand Down Expand Up @@ -129,6 +135,15 @@ Problem Kinds
* -
- FLUENTS_IN_OBJECT_ASSIGNMENTS
- At least one effect uses a fluent in the expression of a object assignment.
* -
- INTERPRETED_FUNCTIONS_IN_BOOLEAN_ASSIGNMENTS
- At least one effect uses an interpreted function in the expression of a boolean assignment.
* -
- INTERPRETED_FUNCTIONS_IN_NUMERIC_ASSIGNMENTS
- At least one effect uses an interpreted function in the expression of a numeric assignment.
* -
- INTERPRETED_FUNCTIONS_IN_OBJECT_ASSIGNMENTS
- At least one effect uses an interpreted function in the expression of a object assignment.
* - TYPING
- FLAT_TYPING
- The problem uses user-defined types, but no type inherits from another.
Expand Down

0 comments on commit 56cbda1

Please sign in to comment.