Changeset 2962


Ignore:
Timestamp:
Mar 26, 2013, 5:36:56 PM (4 years ago)
Author:
sacerdot
Message:

Most performant algorithm restored.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/policy.ml

    r2960 r2962  
    9494let rec jump_expansion_internal program n =
    9595  let labels = PolicyFront.create_label_map (Types.pi1 program) in
     96  let rec aux res =
     97prerr_endline "JEI_start";
     98   let { Types.fst = no_ch; Types.snd = z } = res in
     99    match z with
     100     | Types.None ->
     101       { Types.fst = Bool.False; Types.snd = Types.None }
     102     | Types.Some op ->
     103         match no_ch with
     104         | Bool.True -> res
     105         | Bool.False ->
     106           aux
     107            (Types.pi1
     108             (PolicyStep.jump_expansion_step program (Types.pi1 labels)
     109               op))
     110  in
     111   aux
     112    { Types.fst = Bool.False; Types.snd =
     113       (Types.pi1
     114         (PolicyFront.jump_expansion_start program (Types.pi1 labels))) }
     115(*
    96116  (match n with
    97117   | Nat.O ->
     
    114134              Types.pi1
    115135                (PolicyStep.jump_expansion_step program (Types.pi1 labels)
    116                   op))) __)) __)) __
     136                  op))) __)) __)) __*)
    117137
    118138(** val measure_int :
Note: See TracChangeset for help on using the changeset viewer.