aiplan4eu / unified-planning

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

Problem.clear methods not clearing UserTypes #583

Open Framba-Luca opened 5 months ago

Framba-Luca commented 5 months ago

All theProblem.clear methods (e.g. clear_actions, clear_fluents, etc.) do not re-compute the UserTypes.

This is an issue mainly when reflected in the ProblemKind, so only with hierarchical typing.

The main difficulty of solving this issue is the mixin design, because the "re-compute UserTypes" method has to work regarless of which mixins the Problem class implements.