search

hfoffani / pddl-lib

A PDDL library that parse PDDL files and provides a very simple interface to interact with domain-problems.
Apache License 2.0
82 stars 20 forks source link

Better variable binding #12

Open hfoffani opened 7 years ago

hfoffani commented 7 years ago

This library provides two main features, the PDDL parser and a variable binding mechanism.

The current one is very naive and does not scale up.

Ideally, besides enhancing the algorithm it should provide the user a way to replace or overload this function with a custom one if desired.

hfoffani commented 7 years ago

Version 0.2.0 includes a better binding. It scales up a lot more than the previous version.

There are some optimizations left, some easy like trading memory space for speed, but others are more complicated and probably besides the scope of this tool. For instance, check the pre-condicontions as soon as each variable is grounded and if the operator cannot be applied cut the whole subspace for that variable-symbol pair.