Support list comprehension expressions in various CIF tools
After adding list comprehension expressions to the CIF language in #1288 (closed), we can add support for such expressions in various tools. I propose not to add it to all tools, but for now only where it makes the most sense, or can be done with reasonable effort.
After #1288 (closed), the following tools/libraries support list comprehensions (as it involves language support or did not require significant changes to support the new feature):
- CIF checkers
- CIF to CIF
- CIF to yEd
- CIF common
- CIF event disabler
- CIF infogen
- CIF merger
- CIF parser
- CIF pretty printer
- CIF relations
- CIF type checker
I propose to also support list comprehensions in the following tools:
- CIF simulator (!1589 (merged))
- CIF explorer (!1590 (merged))
- JS/HTML code generator (!1596 (merged))
- CIF/BDD (for data-based synthesis and BDD-based checks of the CIF controller properties checker) -> done as part of #1400
Edited by Dennis Hendriks