Currently the DSD assumes a fixed number of potential results - if not literally, at least conceptually.
This is for example being violated by the DEFENDER_? roles introduced in #925. There are also decisions that return the number of robots, which while limited in practice does not really make sense to be handled that way.
It probably makes sense to rethink on how to handle this properly.
Ideas suggested in #925 by me:
- ignore this? (hoping we only have one class of auto generated names which can be covered by ELSE)
- Update DSD to support pattern matching or something?
- Removing the extra index and unified all defenders into a single role name for the purpose of the DSD?
Currently the DSD assumes a fixed number of potential results - if not literally, at least conceptually.
This is for example being violated by the DEFENDER_? roles introduced in #925. There are also decisions that return the number of robots, which while limited in practice does not really make sense to be handled that way.
It probably makes sense to rethink on how to handle this properly.
Ideas suggested in #925 by me: