Added mod_assignment

git-svn-id: https://openmodelica.org/svn/OpenModelica/trunk@169 f25d12d1-65f4-0310-ae8a-bbce733d8d8e
OpenModelica · Mar 7, 1998 · 1f02c12 · 1f02c12
1 parent a5ebcae
commit 1f02c12
Showing 1 changed file with 13 additions and 0 deletions.
diff --git a/modeq/mod.rml b/modeq/mod.rml
@@ -27,6 +27,7 @@ module Mod:
   relation build : (Absyn.Modification option, bool) => Mod
   relation lookup_modification: (Mod,Absyn.Ident) => Mod
   relation merge : (Mod, Mod) => Mod
+  relation mod_assignment : Mod => Exp.Exp option
 
 (*
   relation modify_class: (Env.Env, Exp.Path, Mod, Prefix.Prefix, Absyn.Class)
@@ -277,3 +278,15 @@ relation merge : (Mod, Mod) => Mod =
 	merge(outer,inner) => outer
 
 end
+
+(**********************************************************************)
+
+relation mod_assignment : Mod => Exp.Exp option =
+
+  axiom mod_assignment NOMOD => NONE
+
+  axiom mod_assignment REDECL(_,_) => NONE
+
+  axiom mod_assignment MOD(_,_,e) => e
+
+end