source:
src/LTL/semantics.ma
@
1381
| Last change on this file since 1381 was 1381, checked in by , 10 years ago | |
|---|---|
| File size: 223 bytes | |
| Line | |
|---|---|
| 1 | include "LIN/joint_LTL_LIN_semantics.ma". |
| 2 | include "LTL/LTL.ma". (* CSC: syntax.ma in RTLabs *) |
| 3 | |
| 4 | definition ltl_fullexec ≝ |
| 5 | ltl_lin_fullexec … (graph_succ_p …) … (graph_fetch_statement … (ltl_lin_sem_params …)). |
Note: See TracBrowser
for help on using the repository browser.
