packageElements

Information

1. "Message and Mailbox" gives an overview about the elements: Message and Mailbox.
2. "Synchronization" gives an overview about the element: Synchronization.
3. "Transition" gives an overview about the element: Transition.
4. "Clock" gives an overview about the element: Clock.
5. "Invariant" gives an overview about the element: Invariant.
6. "ClockConstraint" gives an overview about the element: ClockConstraint.
7. "DelegationPort" gives an overview about the element: DelegationPort.

Contents