![]() |
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.