use IsAttVar
This commit is contained in:
parent
e992b0dcf0
commit
99460df195
@ -2940,7 +2940,7 @@ YAP_IsAttVar(Term t)
|
|||||||
t = Deref(t);
|
t = Deref(t);
|
||||||
if (!IsVarTerm(t))
|
if (!IsVarTerm(t))
|
||||||
return FALSE;
|
return FALSE;
|
||||||
return (VarOfTerm(t) < H0);
|
return IsAttVar(VarOfTerm(t));
|
||||||
}
|
}
|
||||||
|
|
||||||
X_API Term
|
X_API Term
|
||||||
@ -2951,7 +2951,7 @@ YAP_AttsOfVar(Term t)
|
|||||||
t = Deref(t);
|
t = Deref(t);
|
||||||
if (!IsVarTerm(t))
|
if (!IsVarTerm(t))
|
||||||
return TermNil;
|
return TermNil;
|
||||||
if (VarOfTerm(t) >= H0)
|
if (IsAttVar(VarOfTerm(t)))
|
||||||
return TermNil;
|
return TermNil;
|
||||||
attv = (attvar_record *)VarOfTerm(t);
|
attv = (attvar_record *)VarOfTerm(t);
|
||||||
return attv->Atts;
|
return attv->Atts;
|
||||||
@ -2965,7 +2965,7 @@ YAP_TermHash(Term t)
|
|||||||
t = Deref(t);
|
t = Deref(t);
|
||||||
if (!IsVarTerm(t))
|
if (!IsVarTerm(t))
|
||||||
return TermNil;
|
return TermNil;
|
||||||
if (VarOfTerm(t) >= H0)
|
if (IsAttVar(VarOfTerm(t)))
|
||||||
return TermNil;
|
return TermNil;
|
||||||
attv = (attvar_record *)VarOfTerm(t);
|
attv = (attvar_record *)VarOfTerm(t);
|
||||||
return attv->Atts;
|
return attv->Atts;
|
||||||
|
Reference in New Issue
Block a user