Relation: inverse switch added.

[helm.git] / helm / ocaml / mathql_interpreter / relation.ml

diff --git a/helm/ocaml/mathql_interpreter/relation.ml b/helm/ocaml/mathql_interpreter/relation.ml
index 57b89122e1922132a0e09d84fc48acec16c4aa32..54f42a7e5b3f0d9350685412249e4970817bc366 100644 (file)
--- a/helm/ocaml/mathql_interpreter/relation.ml
+++ b/helm/ocaml/mathql_interpreter/relation.ml
@@ -46,7 +46,7 @@ let get_prop_id propl =
 ;;
 
 
-let relation_ex rop path rset attl =
+let relation_ex inv rop path rset attl =
   let usek = get_prop_id path in
   let vvar = if attl = [] then "position"
              else List.hd attl
@@ -139,7 +139,7 @@ let muse path attl r =
 
 (* prende un resource_set, una vvar (primo el. di attl) a cui associare la posizione, e la relazione (refObj o backPointer) e per ogni resource chiama la muse 
 NOTA: "rop" per ora non viene usato perche' vale sempre "ExactOp" *)
-let relation_galax_ex rop path rset attl =
+let relation_galax_ex inv rop path rset attl =
     List.stable_sort (fun (uri1,l1) (uri2,l2) -> compare uri1 uri2) (List.concat (List.map (muse path attl) rset))