Creating a barebones FSTRIPS language should not import arithmetic sorts

aig-upf / tarski

Tarski - An AI Planning Modeling Framework

Apache License 2.0

59 stars 20 forks source link

Creating a barebones FSTRIPS language should not import arithmetic sorts #71

Closed gfrances closed 5 years ago

gfrances commented 5 years ago

When creating a barebones FSTRIPS language with e.g. lang = fstrips.language("test"), we should not automatically attach to the language any sort other than the base object sort. See commit 881f9df for a test reproducing this that is currently failing.

gfrances commented 5 years ago

This is now solved in devel by PR #72