This repository was archived by the owner on Jul 14, 2025. It is now read-only.
This repository was archived by the owner on Jul 14, 2025. It is now read-only.
Implementation of Automatic Mode Change Capabilities #7
Description
The automatic, generic mode change features contained in modelling MR #41 shall be implemented in TASTE in accordance with the generated documentation:
- Link State Loop traversal
- Sensing State Loop traversal