- Added bind_run and bind_index for goal bindings to the roledef stuff.

This commit is contained in:
ccremers
2004-08-10 15:17:00 +00:00
parent 7fbd43986f
commit 1f96c9077a
2 changed files with 8 additions and 0 deletions

View File

@@ -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;
}