Last change
on this file since 1569 was
1569,
checked in by tranquil, 8 years ago

 added in repository some missing files...

File size:
622 bytes

Line  

1  type cond = 

2   Ceq of int (** index is equal to *) 

3   Cgeq of int (** index is greater or equal to *) 

4   Cmod of int*int (** index modulo equal to *) 

5   Cgeqmod of int*int*int (** index greater than and modulo equal to *) 

6  

7  module CondSet : Set.S with type elt = cond 

8  

9  open CostLabel 

10  

11  type cost_expr = 

12   Exact of int 

13   Ternary of index * CondSet.t * cost_expr * cost_expr 

14  

15  (** [expr_cost_mapping_of_cost_mapping] turns a cost mapping on indexed 

16  labels into a mapping from cost atoms to cost expressions *) 

17  val cost_expr_mapping_of_cost_mapping : int Map.t > cost_expr Atom.Map.t 

18  

Note: See
TracBrowser
for help on using the repository browser.