Ignore:
Timestamp:
Oct 6, 2011, 6:31:27 PM (9 years ago)
Author:
tranquil
Message:
  • finished changes on annotator
  • implementing indexes in interpreter
File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051-indexed-labels-branch/src/common/costLabel.mli

    r1305 r1310  
    1919val make_id : string -> index -> string
    2020
    21 type indexing = sexpr array
     21type indexing = sexpr list
     22
     23type const_indexing = int ref list
     24
     25(** [enter_loop n indexing] is used to update indexing when one is entering a
     26    loop indexed by [n].
     27        The function recycles the same constant indexing *)
     28val enter_loop : index option -> const_indexing -> const_indexing
     29
     30(** [continue_loop n indexing] is used to update indexing when one is continuing a
     31    loop indexed by [n]. *)
     32val continue_loop : index option -> const_indexing -> const_indexing
    2233
    2334(** [id_indexing n] generates an identity indexing nested in [n] loops *)
     
    2536
    2637(** [compose_index i s l] applies the transformation [i] |--> [s] to [l] *)
    27 val compose_index : index -> sexpr -> indexing -> unit
     38val compose_index : index -> sexpr -> indexing -> indexing
    2839
    2940(** [compose_index l m] applies all the transformations in  [l] to [m] *)
    30 val compose_indexing : indexing -> indexing -> unit
     41val compose_indexing : indexing -> indexing -> indexing
     42
     43val compose_const_indexing : const_indexing -> indexing -> int list
    3144
    3245module IndexingSet : Set.S with type elt = indexing
Note: See TracChangeset for help on using the changeset viewer.