Update: Updated ProblemKind to version 2

[Framba-Luca]

No description provided.

[Framba-Luca]

Hi @speckdavid , this PR updates the ProblemKind to the version 2. It is added in this PR in the UP.

I added both INT_* and REAL_* in actions costs and oversubscription gains. If only integers are supported you can remove the REAL_* or just tell me to remove them.

[speckdavid]

Hi,

Thanks for the PR!

Symk currently only supports natural numbers (including 0) in the action cost (similar to Fast Downward). Is there a special case for this? If not, only having INT_NUMBERS_IN_ACTIONS_COST is the best fit.

For the oversubscription gains/utilites, we support positive and negative integers (this is mainly a technical thing and we have not implemented real number support yet). So I think only INT_NUMBERS_IN_OVERSUBSCRIPTION is appropriate here.

Would it be possible to remove the supported_kind.set_actions_cost_kind("REAL_NUMBERS_IN_ACTIONS_COST") and supported_kind.set_oversubscription_kind("REAL_NUMBERS_IN_OVERSUBSCRIPTION") as you suggested?

Out of curiosity, is this backwards compatible with older versions of the UP?

[Framba-Luca]

Thanks for clarifing; for now I removed the REAL_*; for the oversubscription we can re-add it when it will be supported.

Yes, this is (modulo bugs) fully compatible with the previous versions of the UP.

For the costs >= 0 I asked what we should expect; for now there are no hard constraints of it being positive so it might be a small issue to fix.