Commit 633e350e authored by Benoît Barbot's avatar Benoît Barbot
Browse files

progress

parent 33fc78d4
Pipeline #1642 passed with stages
in 41 seconds
......@@ -59,15 +59,15 @@ let rgopt =
module R = (val if !rational_impl then (module Flq.Q :Fl.FSIG) else (module Fl.Float:Fl.FSIG))
module P = Polynome.Make (R) (struct let var_string= match rgopt,precomp_exists with
Some a,_ -> a.ZoneGraph.var_string
| _,Some b -> b.ZoneGraph.var_string
| None,None -> assert false end)
Some a,_ -> a.ZoneGraph.var_string
| _,Some b -> b.ZoneGraph.var_string
| None,None -> assert false end)
module Weight = (val if !frequency =0.0 then (module P:Semantic.WeightStructure)
else (module ExpPoly.Make(P)(struct
let smp = if P.F.is_exact then None else Some !frequency
let tvar = P.var_of_int 0
let svar= P.var_of_int (P.nb_var-1)
end)))
else (module ExpPoly.Make(P)(struct
let smp = if P.F.is_exact then None else Some !frequency
let tvar = P.var_of_int 0
let svar= P.var_of_int (P.nb_var-1)
end)))
(* Build the functionnal iterator module based on the polynomial ring *)
module FunIt = Semantic.Make (Weight)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment