Changeset 1584 for Deliverables/D2.2/8051/src/utilities/graphUtilities.mli
 Timestamp:
 Dec 2, 2011, 3:13:04 PM (8 years ago)
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

Deliverables/D2.2/8051/src/utilities/graphUtilities.mli
r1580 r1584 64 64 val dead_code_elim : G.t > G.node > G.t 65 65 66 val replace : (unit > G.node) > 67 G.node > G.statement list > G.node list option > G.t > G.t 68 69 val replace' : (unit > G.node) > ('u > 't > 'u * 'r) > 70 G.node > (G.statement, 'r, 't) BList.t > G.node list option > 71 'u > G.t > 'u * G.t 72 73 val insert : (unit > G.node) > 74 G.node > G.statement list > G.t > G.node * G.t 75 76 val insert' : (unit > G.node) > ('u > 't > 'u * 'r) > 77 G.node > (G.statement, 'r, 't) BList.t > 78 'u > G.t > 'u * G.node * G.t 79 80 66 81 end 67 82 … … 123 138 translation. 124 139 @see translate *) 125 val translate' : (unit > node) > ('u > ' u * 'reg) >126 (node > Src.statement > (Trg.statement, 'reg ) BList.t) >140 val translate' : (unit > node) > ('u > 't > 'u * 'reg) > 141 (node > Src.statement > (Trg.statement, 'reg, 't) BList.t) > 127 142 'u > Src.t > 'u * Trg.t 128 143 … … 131 146 @see translate' 132 147 @see translate_with_redirect *) 133 val translate_with_redirects' : (unit > node) > ('u > ' u * 'reg) >148 val translate_with_redirects' : (unit > node) > ('u > 't > 'u * 'reg) > 134 149 (node > Src.statement > 135 (Trg.statement, 'reg ) BList.t * node list option) >150 (Trg.statement, 'reg, 't) BList.t * node list option) > 136 151 'u > Src.t > 'u * Trg.t 137 152
Note: See TracChangeset
for help on using the changeset viewer.