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

add primitive YAP_IsLongIntTerm to the C Language interface.

This commit is contained in:
Ricardo Rocha 2009-11-23 18:46:57 +00:00
parent dd60f64f42
commit 8a557012dd
2 changed files with 10 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
C/c_interface.c
View File

@ -382,6 +382,7 @@ X_API Term STD_PROTO(YAP_MkVarTerm,(void));
X_API Bool STD_PROTO(YAP_IsVarTerm,(Term));
X_API Bool STD_PROTO(YAP_IsNonVarTerm,(Term));
X_API Bool STD_PROTO(YAP_IsIntTerm,(Term));
X_API Bool STD_PROTO(YAP_IsLongIntTerm,(Term));
X_API Bool STD_PROTO(YAP_IsBigNumTerm,(Term));
X_API Bool STD_PROTO(YAP_IsFloatTerm,(Term));
X_API Bool STD_PROTO(YAP_IsDbRefTerm,(Term));
@ -579,6 +580,12 @@ YAP_IsIntTerm(Term t)
return IsIntegerTerm(t);
}
X_API Bool
YAP_IsLongIntTerm(Term t)
{
return IsLongIntTerm(t);
}
X_API Bool
YAP_IsBigNumTerm(Term t)
{

3
include/YapInterface.h
View File

@ -96,6 +96,9 @@ extern X_API YAP_Term PROTO(YAP_MkVarTerm,(void));
/* YAP_Bool IsIntTerm(YAP_Term) */
extern X_API YAP_Bool PROTO(YAP_IsIntTerm,(YAP_Term));
/* YAP_Bool IsLongIntTerm(YAP_Term) */
extern X_API YAP_Bool PROTO(YAP_IsLongIntTerm,(YAP_Term));
/* YAP_Bool IsBigNumTerm(YAP_Term) */
extern X_API YAP_Bool PROTO(YAP_IsBigNumTerm,(YAP_Term));