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

Include hack to unify two attributed variables, if the solver knows what

Browse Source 
it is doing.
This commit is contained in:
Vitor Santos Costa 2008-11-14 14:50:54 +00:00
parent 8e9fde1c6c
commit 7a21ccb009
1 changed files with 24 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

24
C/attvar.c
View File

@ -922,6 +922,29 @@ p_free_term(void)
return Yap_unify(ARG1,TermFreeTerm); return Yap_unify(ARG1,TermFreeTerm);
} }
static Int
p_fast_unify(void)
{
/*
Case we want to unify two variables, but we do not
think there is a point in waking them up
*/
Term t1, t2;
CELL *a, *b;
if (!IsVarTerm(t1 = Deref(ARG1)))
return FALSE;
if (!IsVarTerm(t2 = Deref(ARG2)))
return FALSE;
a = VarOfTerm(t1);
b = VarOfTerm(t2);
if(a > b) {
Bind_Global(a,t2);
} else if((a) < (b)){
Bind_Global(b,t1);
}
return TRUE;
}
#else #else
static Int static Int
@ -969,6 +992,7 @@ void Yap_InitAttVarPreds(void)
Yap_InitCPred("modules_with_attributes", 2, p_modules_with_atts, SafePredFlag); Yap_InitCPred("modules_with_attributes", 2, p_modules_with_atts, SafePredFlag);
Yap_InitCPred("void_term", 1, p_void_term, SafePredFlag); Yap_InitCPred("void_term", 1, p_void_term, SafePredFlag);
Yap_InitCPred("free_term", 1, p_free_term, SafePredFlag); Yap_InitCPred("free_term", 1, p_free_term, SafePredFlag);
Yap_InitCPred("fast_unify_attributed", 2, p_fast_unify, 0);
#endif /* COROUTINING */ #endif /* COROUTINING */
Yap_InitCPred("all_attvars", 1, p_all_attvars, 0); Yap_InitCPred("all_attvars", 1, p_all_attvars, 0);
CurrentModule = OldCurrentModule; CurrentModule = OldCurrentModule;