Changeset 1209


Ignore:
Timestamp:
Sep 13, 2011, 5:14:03 PM (8 years ago)
Author:
mulligan
Message:

more work on int. graphs

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/utilities/Interference.ma

    r1208 r1209  
    4848    foldr … (λr. λv_table_priority'.
    4949      let 〈v, table', priority'〉 ≝ v_table_priority' in
    50       let table'' ≝ insert … reg_table r v table' in
    51       let priority'' ≝ insert … vertex_pset v 0 priority' in
    52         〈v + 1, table'', priority''〉) 〈0, empty …, empty …〉 regs
     50      let table'' ≝ tbl_insert … reg_table r v table' in
     51      let priority'' ≝ ps_insert … vertex_pset v 0 priority' in
     52        〈v + 1, table'', priority''〉) 〈0, tbl_empty …, ps_empty …〉 regs
    5353  in
    5454    mk_interference_graph
    5555      reg_table vertex_set vertex_pset Reg_set
    56       table'' [ ] [ ] [ ] [ ] priority'' priority''.
     56      table'' (set_empty …) (set_empty …) (set_empty …)
     57      (set_empty …) priority'' priority''.
    5758
    5859definition ig_mkipp: interference_graph → list register → list register →
     
    6263  λregs2.
    6364    foldr … (λr. λgraph.
    64       let v1 ≝ lookup
     65      let v1 ≝ lookup graph e1 in
    6566
    6667let mkipp graph regs1 regs2 =
Note: See TracChangeset for help on using the changeset viewer.