source: Deliverables/D2.2/8051-indexed-labels-branch/src/common/costExpr.mli @ 1433

Last change on this file since 1433 was 1433, checked in by tranquil, 8 years ago
  • added infrastructure to add same-language transformations along the compilation chain from command line options
  • started work on cost expression semplification
File size: 575 bytes
Line 
1open CostLabel
2
3type cond =
4    | Ceq of int         (** index is equal to *)
5    | Cgeq of int        (** index is greater or equal to *)
6    | Cmod of int*int    (** index modulo equal to *)
7    | Cgeqmod of int*int*int (** index greater than and modulo equal to *)
8   
9type cost_expr =
10    | Exact of int
11    | Ternary of index * cond * cost_expr * cost_expr
12
13(** [expr_cost_mapping_of_cost_mapping] turns a cost mapping on indexed
14    labels into a mapping from cost atoms to cost expressions *)
15val cost_expr_mapping_of_cost_mapping : int Map.t -> cost_expr Atom.Map.t
Note: See TracBrowser for help on using the repository browser.