Enum-valued state-fluents

Issue #53 resolved
repo owner created an issue

There's a bug with enum-valued state-fluents that occurs if the domain of a variable of size n does not contain the "first" n values of that enum.

Comments (1)

  1. tkeller reporter

    Quick fix provided. While this could certainly be improved because unused values are inserted into the domain, it's non-trivial to do so (e.g., because comparisons between enum-valued state fluents are possible). Hence, I don't think a better version is very urgent.

  2. Log in to comment