search

aiplan4eu / unified-planning

The AIPlan4EU Unified Planning Library
Apache License 2.0
181 stars 39 forks source link

Fix FreeVars Extractor and Oracle #595

Closed Framba-Luca closed 5 months ago

Framba-Luca commented 5 months ago

Fixed the FreeVars Extractor and Oracle by returning a FrozenSet, so it can't be modified from outside.

Solves #592