Switched to set implementation of vars/eqns in matching, etc.

git-svn-id: https://openmodelica.org/svn/OpenModelica/trunk@1401 f25d12d1-65f4-0310-ae8a-bbce733d8d8e
OpenModelica · Jan 17, 2005 · 9152676 · 9152676
1 parent 160d979
commit 9152676
Show file tree

Hide file tree

Showing 8 changed files with 359 additions and 166 deletions.
diff --git a/modeq/dae.rml b/modeq/dae.rml
@@ -121,6 +121,7 @@ module DAE:
   relation dump_ext_decl_str : ExternalDecl => string
   relation dump_ext_arg_str : ExtArg => string 
   relation dump_algorithm: Element => ()
+  relation dump_algorithm_str : Element => string 
   relation dump_direction_str: VarDirection => string 
   relation get_matching_elements: (Element list, Element => () )  => Element list
   relation get_matching: ('a list, 'a => () )  => 'a list

diff --git a/modeq/daeext.rml b/modeq/daeext.rml
@@ -39,6 +39,8 @@ module DAEEXT:
   relation get_e_mark: (int) => bool (* returns e_mark(i) *) 
   relation v_mark: (int) => () (* sets v_mark(i) to true *)
   relation get_v_mark: (int) => bool (* returns e_mark(i) *)
+  relation get_marked_eqns:() => int list 
+  relation get_marked_variables:() => int list 
   relation dump_marked_equations: (int) => ()
   relation dump_marked_variables: (int) => ()