Changeset 2775 for extracted/interference.ml
 Timestamp:
 Mar 5, 2013, 9:52:39 PM (8 years ago)
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

extracted/interference.ml
r2773 r2775 122 122 (Nat.nat > 'a1) > (I8051.register > 'a1) > decision > 'a1 **) 123 123 let rec decision_rect_Type4 h_decision_spill h_decision_colour = function 124  Decision_spill x_ 16893 > h_decision_spill x_16893125  Decision_colour x_ 16894 > h_decision_colour x_16894124  Decision_spill x_21633 > h_decision_spill x_21633 125  Decision_colour x_21634 > h_decision_colour x_21634 126 126 127 127 (** val decision_rect_Type5 : 128 128 (Nat.nat > 'a1) > (I8051.register > 'a1) > decision > 'a1 **) 129 129 let rec decision_rect_Type5 h_decision_spill h_decision_colour = function 130  Decision_spill x_ 16898 > h_decision_spill x_16898131  Decision_colour x_ 16899 > h_decision_colour x_16899130  Decision_spill x_21638 > h_decision_spill x_21638 131  Decision_colour x_21639 > h_decision_colour x_21639 132 132 133 133 (** val decision_rect_Type3 : 134 134 (Nat.nat > 'a1) > (I8051.register > 'a1) > decision > 'a1 **) 135 135 let rec decision_rect_Type3 h_decision_spill h_decision_colour = function 136  Decision_spill x_ 16903 > h_decision_spill x_16903137  Decision_colour x_ 16904 > h_decision_colour x_16904136  Decision_spill x_21643 > h_decision_spill x_21643 137  Decision_colour x_21644 > h_decision_colour x_21644 138 138 139 139 (** val decision_rect_Type2 : 140 140 (Nat.nat > 'a1) > (I8051.register > 'a1) > decision > 'a1 **) 141 141 let rec decision_rect_Type2 h_decision_spill h_decision_colour = function 142  Decision_spill x_ 16908 > h_decision_spill x_16908143  Decision_colour x_ 16909 > h_decision_colour x_16909142  Decision_spill x_21648 > h_decision_spill x_21648 143  Decision_colour x_21649 > h_decision_colour x_21649 144 144 145 145 (** val decision_rect_Type1 : 146 146 (Nat.nat > 'a1) > (I8051.register > 'a1) > decision > 'a1 **) 147 147 let rec decision_rect_Type1 h_decision_spill h_decision_colour = function 148  Decision_spill x_ 16913 > h_decision_spill x_16913149  Decision_colour x_ 16914 > h_decision_colour x_16914148  Decision_spill x_21653 > h_decision_spill x_21653 149  Decision_colour x_21654 > h_decision_colour x_21654 150 150 151 151 (** val decision_rect_Type0 : 152 152 (Nat.nat > 'a1) > (I8051.register > 'a1) > decision > 'a1 **) 153 153 let rec decision_rect_Type0 h_decision_spill h_decision_colour = function 154  Decision_spill x_ 16918 > h_decision_spill x_16918155  Decision_colour x_ 16919 > h_decision_colour x_16919154  Decision_spill x_21658 > h_decision_spill x_21658 155  Decision_colour x_21659 > h_decision_colour x_21659 156 156 157 157 (** val decision_inv_rect_Type4 : … … 205 205 Fixpoints.valuation > ((Liveness.vertex > decision) > Nat.nat > __ > 206 206 __ > 'a1) > coloured_graph > 'a1 **) 207 let rec coloured_graph_rect_Type4 after h_mk_coloured_graph x_ 16954 =208 let { colouring = colouring0; spilled_no = spilled_no0 } = x_ 16954 in207 let rec coloured_graph_rect_Type4 after h_mk_coloured_graph x_21694 = 208 let { colouring = colouring0; spilled_no = spilled_no0 } = x_21694 in 209 209 h_mk_coloured_graph colouring0 spilled_no0 __ __ 210 210 … … 212 212 Fixpoints.valuation > ((Liveness.vertex > decision) > Nat.nat > __ > 213 213 __ > 'a1) > coloured_graph > 'a1 **) 214 let rec coloured_graph_rect_Type5 after h_mk_coloured_graph x_ 16956 =215 let { colouring = colouring0; spilled_no = spilled_no0 } = x_ 16956 in214 let rec coloured_graph_rect_Type5 after h_mk_coloured_graph x_21696 = 215 let { colouring = colouring0; spilled_no = spilled_no0 } = x_21696 in 216 216 h_mk_coloured_graph colouring0 spilled_no0 __ __ 217 217 … … 219 219 Fixpoints.valuation > ((Liveness.vertex > decision) > Nat.nat > __ > 220 220 __ > 'a1) > coloured_graph > 'a1 **) 221 let rec coloured_graph_rect_Type3 after h_mk_coloured_graph x_ 16958 =222 let { colouring = colouring0; spilled_no = spilled_no0 } = x_ 16958 in221 let rec coloured_graph_rect_Type3 after h_mk_coloured_graph x_21698 = 222 let { colouring = colouring0; spilled_no = spilled_no0 } = x_21698 in 223 223 h_mk_coloured_graph colouring0 spilled_no0 __ __ 224 224 … … 226 226 Fixpoints.valuation > ((Liveness.vertex > decision) > Nat.nat > __ > 227 227 __ > 'a1) > coloured_graph > 'a1 **) 228 let rec coloured_graph_rect_Type2 after h_mk_coloured_graph x_ 16960 =229 let { colouring = colouring0; spilled_no = spilled_no0 } = x_ 16960 in228 let rec coloured_graph_rect_Type2 after h_mk_coloured_graph x_21700 = 229 let { colouring = colouring0; spilled_no = spilled_no0 } = x_21700 in 230 230 h_mk_coloured_graph colouring0 spilled_no0 __ __ 231 231 … … 233 233 Fixpoints.valuation > ((Liveness.vertex > decision) > Nat.nat > __ > 234 234 __ > 'a1) > coloured_graph > 'a1 **) 235 let rec coloured_graph_rect_Type1 after h_mk_coloured_graph x_ 16962 =236 let { colouring = colouring0; spilled_no = spilled_no0 } = x_ 16962 in235 let rec coloured_graph_rect_Type1 after h_mk_coloured_graph x_21702 = 236 let { colouring = colouring0; spilled_no = spilled_no0 } = x_21702 in 237 237 h_mk_coloured_graph colouring0 spilled_no0 __ __ 238 238 … … 240 240 Fixpoints.valuation > ((Liveness.vertex > decision) > Nat.nat > __ > 241 241 __ > 'a1) > coloured_graph > 'a1 **) 242 let rec coloured_graph_rect_Type0 after h_mk_coloured_graph x_ 16964 =243 let { colouring = colouring0; spilled_no = spilled_no0 } = x_ 16964 in242 let rec coloured_graph_rect_Type0 after h_mk_coloured_graph x_21704 = 243 let { colouring = colouring0; spilled_no = spilled_no0 } = x_21704 in 244 244 h_mk_coloured_graph colouring0 spilled_no0 __ __ 245 245
Note: See TracChangeset
for help on using the changeset viewer.