From ec8b515218665ffe042fd095c754b6bf80ec9189 Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Wed, 11 Aug 2004 15:05:13 +0000
Subject: [PATCH] - Added more important bits.

---
 src/arachne.c | 31 +++++++++++++++++++++++++++++++
 1 file changed, 31 insertions(+)

diff --git a/src/arachne.c b/src/arachne.c
index 0555d31..b3da221 100644
--- a/src/arachne.c
+++ b/src/arachne.c
@@ -75,6 +75,16 @@ mgu_iterate (const Termlist tl)
   return iterate ();
 }
 
+//! Yield roledef pointer for a given index
+Roledef roledef_shift (Roledef rd, int i)
+{
+  while (i > 0 && rd != NULL)
+    {
+      rd = rd->next;
+      i--;
+    }
+  return rd;
+}
 
 //------------------------------------------------------------------------
 // Sub
@@ -209,6 +219,27 @@ int
 bind_new_run (const Goal goal, const Protocol p, const Role r,
 	      const int index)
 {
+  int run;
+  int flag;
+  Roledef rd;
+
+  roleInstance (sys, p, r, NULL);
+  run = sys->maxruns-1;
+  sys->runs[run].length = index+1;
+  goal.rd->bind_run = run;
+  goal.rd->bind_index = index;
+  rd = roledef_shift (sys->runs[run].start, index);
+
+  // Possibly double recursion (overkill) because of interm construct. Find a way to maintain this over instances/
+  /**
+   *@todo We should have the roleInstance carry over any instantiated vars from the roledef, and then undo the instatiations on the original.
+   * Then this could simply iterate, which is much better.
+   */
+  flag = termMguInTerm (goal.rd->message, rd->message, mgu_iterate);
+
+  goal.rd->bind_run = INVALID;
+  roleInstanceDestroy (sys);
+  return flag;
 }
 
 //! Bind a regular goal