source: src/LIN/ @ 2919

Last change on this file since 2919 was 2783, checked in by piccolo, 8 years ago

modified joint_closed_internal_function definition (added condition on pseudo-registers)
added new record for parameters
modified state definition with option for framesT

File size: 182 bytes
1include "LIN/".
2include "LIN/". (* CSC: in RTLabs *)
4definition LIN_semantics : sem_params ≝
5  mk_sem_lin_params LIN LTL_LIN_semantics.
Note: See TracBrowser for help on using the repository browser.