source: src/LTL/LTLToLIN_paolo.ma @ 2182

Last change on this file since 2182 was 2182, checked in by tranquil, 7 years ago

updated linearisation pass

File size: 252 bytes
Line 
1include "joint/linearise.ma".
2include "LTL/LTL_paolo.ma".
3include "LIN/LIN_paolo.ma".
4
5definition ltl_to_lin : ltl_program → lin_program ≝
6 λp. transform_program … p
7  (λvarnames. transf_fundef … (linearise_int_fun ltl_lin_params varnames)).
Note: See TracBrowser for help on using the repository browser.