false (M.Const s)
in M.StatQuery query
+let unreferred target_pattern source_pattern =
+ let query =
+ M.Bin M.BinFDiff
+ (
+ M.Property false M.RefineExact [] [] [] [] []
+ true (M.Const target_pattern)
+ ) (
+ M.Property false M.RefineExact ["refObj"] ["h:occurrence"] [] [] []
+ true (M.Const source_pattern)
+
+ )
+ in M.StatQuery query
+
let compose cl =
let letin = ref [] in
let must = ref [] in
| [head] -> (f head)
| head :: tail -> let t = (iter f g tail) in g (f head) t
in
- U.mathql_of_specs prerr_string cl;
+ prerr_endline "(** Compose: received constraints **)";
+ U.mathql_of_specs prerr_string cl; flush stderr;
aux cl;
let must_query =
if ! must = [] then