ECDAR-AAU-SW-P5/Reveaal

Add more clock information to component

Opened this issue · 0 comments

Add more clock information to the component like what guards, invariants and update each clock is used by.

This information will be relevant to optimize clock reduction by hopefully moving it to work on system recipe and component rather than compiled component and transition system.