From 8a557012ddfd0ad888ad5fda31fadfa013d56e52 Mon Sep 17 00:00:00 2001 From: Ricardo Rocha Date: Mon, 23 Nov 2009 18:46:57 +0000 Subject: [PATCH] add primitive YAP_IsLongIntTerm to the C Language interface. --- C/c_interface.c | 7 +++++++ include/YapInterface.h | 3 +++ 2 files changed, 10 insertions(+) diff --git a/C/c_interface.c b/C/c_interface.c index 0986f82a4..8f9ae15fa 100644 --- a/C/c_interface.c +++ b/C/c_interface.c @@ -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) { diff --git a/include/YapInterface.h b/include/YapInterface.h index fe6819d6e..e3c80693f 100644 --- a/include/YapInterface.h +++ b/include/YapInterface.h @@ -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));