CIF 3

Simplify others

This CIF to CIF transformation simplifies CIF specifications, by applying the following non-value related simplifications:

  • Duplicate monitor events of automata are removed.
  • Duplicate events in the alphabet are removed.
  • Duplicate events on edges are removed, with the exception of duplicate sends for the same event, as they may send different values.
  • Self-loops with a target location are simplified by removing the target location.

Supported specifications

This transformation supports a subset of CIF specifications. The following restrictions apply:

  • Component definitions and component instantiations are not supported.

Preprocessing

No preprocessing is currently performed by this CIF to CIF transformation. To increase the subset of specifications that can be transformed, apply the following CIF to CIF transformations (in the given order):

Implementation details

n/a

Renaming

n/a

Size considerations

This transformation tries to simplify the specification, possibly reducing its size.

Optimality

n/a