diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

subgoal_search: remove subgoal frame from list of inactive subgoals when a repeated call appears.

Browse Source 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1594 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
ricroc 2006-04-12 14:57:59 +00:00
parent e2b10fe908
commit 1ce0cdee55
1 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
OPTYap/tab.tries.c
View File

@ -5,7 +5,7 @@
Copyright: R. Rocha and NCC - University of Porto, Portugal Copyright: R. Rocha and NCC - University of Porto, Portugal
File: tab.tries.C File: tab.tries.C
version: $Id: tab.tries.c,v 1.18 2006-04-05 00:16:54 vsc Exp $ version: $Id: tab.tries.c,v 1.19 2006-04-12 14:57:59 ricroc Exp $
**********************************************************************/ **********************************************************************/
@ -754,6 +754,11 @@ sg_fr_ptr subgoal_search(yamop *preg, CELL **Yaddr) {
TrNode_sg_fr(current_sg_node) = (sg_node_ptr) sg_fr; TrNode_sg_fr(current_sg_node) = (sg_node_ptr) sg_fr;
} else { } else {
sg_fr = (sg_fr_ptr) TrNode_sg_fr(current_sg_node); sg_fr = (sg_fr_ptr) TrNode_sg_fr(current_sg_node);
#ifdef LIMIT_TABLING
if (SgFr_state(sg_fr) == ready) {
remove_from_global_sg_fr_list(sg_fr);
}
#endif /* LIMIT_TABLING */
} }
#if defined(TABLE_LOCK_AT_ENTRY_LEVEL) #if defined(TABLE_LOCK_AT_ENTRY_LEVEL)
UNLOCK(TabEnt_lock(tab_ent)); UNLOCK(TabEnt_lock(tab_ent));