Changeset 1227 for src/utilities


Ignore:
Timestamp:
Sep 19, 2011, 12:57:02 PM (9 years ago)
Author:
mulligan
Message:

changes

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/utilities/Colouring.ma

    r1193 r1227  
    11include "ASM/I8051.ma".
    22include "utilities/Interference.ma".
    3 include "utilities/RegisterSet.ma".
    43
    54inductive decision: Type[0] ≝
     
    76  | decision_colour: Register → decision.
    87
    9 definition colouring ≝ vertex_map decision.
     8definition colouring ≝ table vertex decision.
    109
    1110(* XXX: was set data structure previously *)
    12 definition colour_set ≝ rs_set.
     11definition colour_set ≝ set register.
    1312
    1413definition add_colour ≝
    15   λrs: register_set.
    1614  λc: colouring.
    1715  λr: vertex.
    18   λcs: colour_set rs.
    19   match vm_find … r c with
     16  λcs: colour_set.
     17  match tbl_lookup … r c with
    2018  [ None ⇒ cs (* XXX: correct, or should we assert false? *)
    2119  | Some decision ⇒
Note: See TracChangeset for help on using the changeset viewer.