Skip to content

#1118 Add input parameters to CIF component definitions

End-user visible changes:

  • CIF language: added input parameters, a new type of parameters for component definitions (automaton and group definitions).
  • Anonymize names CIF to CIF transformation: new prefix iparam for input parameters.
  • Eliminate 'if' updates: no longer supports CIF specifications with component definitions/instantiations.
  • Eliminate 'if' updates: fixed typo in documentation.
  • CIF tutorial lesson on 'Automaton definition parameters' now also explains input parameters.

Closes #1118 (closed)

Edited by Dennis Hendriks

Merge request reports

Loading