![]() |
YAP 7.1.0
|
entry file for the YAP C++ interface More...
#include <iostream>
#include <string>
#include <vector>
#include <initializer_list>
#include "YapConfig.h"
#include <gmpxx.h>
#include <stdlib.h>
#include <stddef.h>
#include "Yap.h"
#include "Yatom.h"
#include "YapHeap.h"
#include "clause.h"
#include "yapio.h"
#include "Foreign.h"
#include "attvar.h"
#include "YapText.h"
#include "iopreds.h"
#include "yapa.hh"
#include "yapie.hh"
#include "yapt.hh"
#include "yapdb.hh"
#include "yapq.hh"
Go to the source code of this file.
Macros | |
#define | YAP_CPP_INTERFACE 1 |
Functions | |
X_API void | YAP_UserCPredicate (const char *, YAP_UserCPred, YAP_Arity arity) |
X_API void | YAP_UserCPredicateWithArgs (const char *, YAP_UserCPred, YAP_Arity, YAP_Term) |
X_API void | YAP_UserBackCPredicate (const char *name, YAP_UserCPred init, YAP_UserCPred cont, YAP_Arity arity, YAP_Arity extra) |
X_API void | YAP_UserBackCutCPredicate (const char *name, YAP_UserCPred init, YAP_UserCPred cont, YAP_UserCPred cut, YAP_Arity arity, YAP_Arity extra) |
X_API YAP_Term | YAP_ReadBuffer (const char *s, YAP_Term *tp) |
YAP_Term | YAP_MkcharPTerm (char *s) |
entry file for the YAP C++ interface
Definition in file yapi.hh.