Changeset 1219


Ignore:
Timestamp:
Sep 15, 2011, 5:40:32 PM (8 years ago)
Author:
mulligan
Message:

a little more added

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/utilities/Interference.ma

    r1218 r1219  
    356356    graph.
    357357
    358 
    359 
    360358definition ig_create ≝
    361359  λregs.
     
    364362      let 〈v, table', priority'〉 ≝ v_table_priority' in
    365363      let table'' ≝ rt_add r v table' in
    366       let priority'' ≝ ps_insert ? v 0 priority' in
    367         〈v + 1, table'', priority''〉) 〈0, rt_empty …, ps_empty …〉 regs
     364      let priority'' ≝ pset_insert ? v 0 priority' in
     365        〈v + 1, table'', priority''〉) 〈0, rt_empty …, pset_empty …〉 regs
    368366  in
    369367      mk_graph table'' (set_tbl_empty …) (set_tbl_empty …) (set_empty …)
Note: See TracChangeset for help on using the changeset viewer.