Skip to content

#739 Improve CIF tutorial lesson on initialization predicates.

  • Be more complete on what initialization predicates can be used for.
  • Added two examples of restricting initialization of multiple automata.
  • Extended advice on placement of initialization predicates.
  • 'congruent' -> 'equal' to make the text easier to understand.
  • Small textual improvements.

Closes #739 (closed)

Edited by Dennis Hendriks

Merge request reports

Loading