Changeset 2854 for extracted/eRTL.ml


Ignore:
Timestamp:
Mar 12, 2013, 5:53:56 PM (7 years ago)
Author:
sacerdot
Message:

Pretty printing of the LTL program.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/eRTL.ml

    r2827 r2854  
    112112    (Registers.register -> 'a1) -> (I8051.register -> 'a1) -> move_dst -> 'a1 **)
    113113let rec move_dst_rect_Type4 h_PSD h_HDW = function
    114 | PSD x_21247 -> h_PSD x_21247
    115 | HDW x_21248 -> h_HDW x_21248
     114| PSD x_1252 -> h_PSD x_1252
     115| HDW x_1253 -> h_HDW x_1253
    116116
    117117(** val move_dst_rect_Type5 :
    118118    (Registers.register -> 'a1) -> (I8051.register -> 'a1) -> move_dst -> 'a1 **)
    119119let rec move_dst_rect_Type5 h_PSD h_HDW = function
    120 | PSD x_21252 -> h_PSD x_21252
    121 | HDW x_21253 -> h_HDW x_21253
     120| PSD x_1257 -> h_PSD x_1257
     121| HDW x_1258 -> h_HDW x_1258
    122122
    123123(** val move_dst_rect_Type3 :
    124124    (Registers.register -> 'a1) -> (I8051.register -> 'a1) -> move_dst -> 'a1 **)
    125125let rec move_dst_rect_Type3 h_PSD h_HDW = function
    126 | PSD x_21257 -> h_PSD x_21257
    127 | HDW x_21258 -> h_HDW x_21258
     126| PSD x_1262 -> h_PSD x_1262
     127| HDW x_1263 -> h_HDW x_1263
    128128
    129129(** val move_dst_rect_Type2 :
    130130    (Registers.register -> 'a1) -> (I8051.register -> 'a1) -> move_dst -> 'a1 **)
    131131let rec move_dst_rect_Type2 h_PSD h_HDW = function
    132 | PSD x_21262 -> h_PSD x_21262
    133 | HDW x_21263 -> h_HDW x_21263
     132| PSD x_1267 -> h_PSD x_1267
     133| HDW x_1268 -> h_HDW x_1268
    134134
    135135(** val move_dst_rect_Type1 :
    136136    (Registers.register -> 'a1) -> (I8051.register -> 'a1) -> move_dst -> 'a1 **)
    137137let rec move_dst_rect_Type1 h_PSD h_HDW = function
    138 | PSD x_21267 -> h_PSD x_21267
    139 | HDW x_21268 -> h_HDW x_21268
     138| PSD x_1272 -> h_PSD x_1272
     139| HDW x_1273 -> h_HDW x_1273
    140140
    141141(** val move_dst_rect_Type0 :
    142142    (Registers.register -> 'a1) -> (I8051.register -> 'a1) -> move_dst -> 'a1 **)
    143143let rec move_dst_rect_Type0 h_PSD h_HDW = function
    144 | PSD x_21272 -> h_PSD x_21272
    145 | HDW x_21273 -> h_HDW x_21273
     144| PSD x_1277 -> h_PSD x_1277
     145| HDW x_1278 -> h_HDW x_1278
    146146
    147147(** val move_dst_inv_rect_Type4 :
     
    338338| Ertl_new_frame -> h_ertl_new_frame
    339339| Ertl_del_frame -> h_ertl_del_frame
    340 | Ertl_frame_size x_21312 -> h_ertl_frame_size x_21312
     340| Ertl_frame_size x_1317 -> h_ertl_frame_size x_1317
    341341
    342342(** val ertl_seq_rect_Type5 :
     
    345345| Ertl_new_frame -> h_ertl_new_frame
    346346| Ertl_del_frame -> h_ertl_del_frame
    347 | Ertl_frame_size x_21317 -> h_ertl_frame_size x_21317
     347| Ertl_frame_size x_1322 -> h_ertl_frame_size x_1322
    348348
    349349(** val ertl_seq_rect_Type3 :
     
    352352| Ertl_new_frame -> h_ertl_new_frame
    353353| Ertl_del_frame -> h_ertl_del_frame
    354 | Ertl_frame_size x_21322 -> h_ertl_frame_size x_21322
     354| Ertl_frame_size x_1327 -> h_ertl_frame_size x_1327
    355355
    356356(** val ertl_seq_rect_Type2 :
     
    359359| Ertl_new_frame -> h_ertl_new_frame
    360360| Ertl_del_frame -> h_ertl_del_frame
    361 | Ertl_frame_size x_21327 -> h_ertl_frame_size x_21327
     361| Ertl_frame_size x_1332 -> h_ertl_frame_size x_1332
    362362
    363363(** val ertl_seq_rect_Type1 :
     
    366366| Ertl_new_frame -> h_ertl_new_frame
    367367| Ertl_del_frame -> h_ertl_del_frame
    368 | Ertl_frame_size x_21332 -> h_ertl_frame_size x_21332
     368| Ertl_frame_size x_1337 -> h_ertl_frame_size x_1337
    369369
    370370(** val ertl_seq_rect_Type0 :
     
    373373| Ertl_new_frame -> h_ertl_new_frame
    374374| Ertl_del_frame -> h_ertl_del_frame
    375 | Ertl_frame_size x_21337 -> h_ertl_frame_size x_21337
     375| Ertl_frame_size x_1342 -> h_ertl_frame_size x_1342
    376376
    377377(** val ertl_seq_inv_rect_Type4 :
Note: See TracChangeset for help on using the changeset viewer.