AI-Planning / AI-Planning/fond-utils
Extend to take problem file (optionally)
Aperta
priority: low
type: enhancement
- Lingua principale
- PDDL
- Stelle
- 4
- Fork
- 3
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
Descrizione
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.
Guida per i contributori
Nessuna guida per i contributori indicizzata per questo repository
Valutazione
Questa issue non è ancora stata valutata.