 Timestamp:
 Nov 15, 2011, 5:11:19 PM (10 years ago)
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

Deliverables/D2.2/8051indexedlabelsbranch/src/common/costExpr.mli
r1468 r1507 1 open CostLabel2 3 1 type cond = 4 2  Ceq of int (** index is equal to *) … … 6 4  Cmod of int*int (** index modulo equal to *) 7 5  Cgeqmod of int*int*int (** index greater than and modulo equal to *) 8 6 7 module CondSet : Set.S with type elt = cond 8 9 open CostLabel 10 9 11 type cost_expr = 10 12  Exact of int 11  Ternary of index * cond* cost_expr * cost_expr13  Ternary of index * CondSet.t * cost_expr * cost_expr 12 14 13 15 (** [expr_cost_mapping_of_cost_mapping] turns a cost mapping on indexed
Note: See TracChangeset
for help on using the changeset viewer.