matita/matita/contribs/lambdadelta/bin/recomm/recommGcdGroundCounters.ml

   1 let step k ok outs ins =
   2   if ok then k ok outs ins else
   3   match ins with
   4   | "T-TRANSITION" :: "COUNTERS" :: tl -> k true ("COUNTERS" :: "T-TRANSITION" :: outs) tl
   5   | "T-BOUND" :: "RT-TRANSITION" :: "COUNTERS" :: tl -> k true ("COUNTERS" :: "RT-TRANSITION" :: "T-BOUND" :: outs) tl
   6   | "RT-TRANSITION" :: "COUNTERS" :: tl -> k true ("COUNTERS" :: "RT-TRANSITION" :: outs) tl
   7   | _ -> k ok outs ins
   8
   9 let main =
  10   RecommPccFor.register_d step