Commits

Sébastien Ferré  committed bbf4380

Modif of chance_ge to make it compatible with the 'better than' partial order on concepts w.r.t. target.

  • Participants
  • Parent commits 3bde007

Comments (0)

Files changed (1)

 
 let chance_ge_num (r,w) (k,n) =
   let res = ref (Int 0) in
-  for i = k to n do
-    res := !res +/ chance_eq_num (r,w) (i,n)
+  for tp = k to r do
+    for fp = n-k downto 0 do
+      res := !res +/ chance_eq_num (r,w) (tp,tp+fp)
+    done
   done;
   !res