AI-Planning / AI-Planning/fond-utils
Extend to take problem file (optionally)
オープン
priority: low
type: enhancement
- 主要言語
- PDDL
- スター
- 4
- フォーク
- 3
- PR マージ指標
- 30日以内にマージされた PR はありません
説明
Will be eventually needed if we want to handle effects such as...
```lisp
(forall (?x - whatever) (oneof (f1 ?x) (f2 ?x)))
```
Idea would be to unroll; converting the `forall` to a conjunction over the `whatever`-typed objects+constants. We need the problem file to get at the objects.
コントリビューションガイド
このリポジトリのコントリビューションガイドは索引されていません
評価
この issue はまだ評価されていません。