added inverse switch for relation and attribute

[helm.git] / helm / ocaml / mathql / mathQL.ml

diff --git a/helm/ocaml/mathql/mathQL.ml b/helm/ocaml/mathql/mathQL.ml
index 6d112c85b0adea087cc7e0b7b20ec77f6317e24e..71682f2a0792a34788b60140401ccda2728faa3f 100644 (file)
--- a/helm/ocaml/mathql/mathQL.ml
+++ b/helm/ocaml/mathql/mathQL.ml
@@ -55,7 +55,7 @@ type set_exp = SVar of svar
             | RVar of rvar
              | Ref of val_exp
              | Pattern of val_exp
-            | Relation of refine_op * path * set_exp * vvar_list
+            | Relation of bool * refine_op * path * set_exp * vvar_list
              | Select of rvar * set_exp * boole_exp
             | Union of set_exp * set_exp
             | Intersect of set_exp * set_exp
@@ -77,8 +77,8 @@ and val_exp = Const of string list
             | RefOf of set_exp 
            | Record of rvar * vvar
            | VVar of vvar
+           | Attribute of bool * refine_op * path * val_exp
            | Fun of string * val_exp
-           | Attribute of refine_op * path * bool * val_exp
 
 type query = set_exp