From 1f96c9077aad99e4a7cb3ff84a88208c393cecd9 Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Tue, 10 Aug 2004 15:17:00 +0000
Subject: [PATCH] - Added bind_run and bind_index for goal bindings to the
 roledef stuff.

---
 src/role.c | 2 ++
 src/role.h | 6 ++++++
 2 files changed, 8 insertions(+)

diff --git a/src/role.c b/src/role.c
index 2e3e5e9..dccfccf 100644
--- a/src/role.c
+++ b/src/role.c
@@ -157,6 +157,8 @@ roledefInit (int type, Term label, Term from, Term to, Term msg, Claimlist cl)
   newEvent->forbidden = NULL;	// no forbidden stuff
   newEvent->knowPhase = -1;	// we haven't explored any knowledge yet
   newEvent->claiminfo = cl;	// only for claims
+  newEvent->bind_run = -1;	// unbound goal
+  newEvent->bind_index = -1;	// unbound goal
   newEvent->next = NULL;
   return newEvent;
 }
diff --git a/src/role.h b/src/role.h
index 1c579de..c09e288 100644
--- a/src/role.h
+++ b/src/role.h
@@ -80,6 +80,12 @@ struct roledef
   //! Pointer to claim type info
   Claimlist claiminfo;
 
+  /*
+   * Bindings for Arachne engine
+   */
+  int bind_run;		//!< -1 for unbound
+  int bind_index;
+
   /* evt runid for synchronisation, but that is implied in the
      base array */
 };