StateInvariant

[Base] tab

• Name

  • Edit the StateInvariant Name.

• Invariant

  • Edit the Invariant.

[Hyperlink] tab

Refer to Basic Function - Hyperlinks for details.