From fcaabd2c0bc920d2b8b4a41f115a6791c02a6c41 Mon Sep 17 00:00:00 2001 From: Vitor Santos Costa Date: Fri, 4 Oct 2013 18:19:33 +0100 Subject: [PATCH] export API --- include/YapInterface.h | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/include/YapInterface.h b/include/YapInterface.h index f4bb46c3d..8d7706efe 100755 --- a/include/YapInterface.h +++ b/include/YapInterface.h @@ -616,6 +616,10 @@ extern X_API int PROTO(YAP_RequiresExtraStack,(size_t)); extern X_API int YAP_parse_yap_arguments(int argc, char *argv[], YAP_init_args *iap); +extern X_API YAP_Int YAP_AtomToInt(YAP_Atom At); + +extern X_API YAP_Atom YAP_IntToAtom(YAP_Int i); + #define YAP_InitCPred(N,A,F) YAP_UserCPredicate(N,F,A) __END_DECLS