YAPPredicate¶
Public Function:¶
1. YAPPredicate::YAPPredicate(const char s0, Term &tout, YAPPairTerm &names, CELL *&nts): : < String constructor for predicates
It also communicates the array of arguments t[] and the array of variables back to yapquery
1. YAPPredicate::YAPPredicate(YAPFunctor f):
< Functor constructor for predicates, assumes that we use the current module.
1. YAPPredicate::YAPPredicate(YAPFunctor f, YAPTerm mod):
< Functor constructor for predicates, is given a specific module.
1. YAPPredicate::YAPPredicate(YAPAtom at, YAPTerm mod):
< Name/arity constructor for predicates.
1. YAPPredicate::YAPPredicate(YAPAtom at): : Name/0 constructor for predicates.
Mod:Name/Arity constructor for predicates.
1. YAPPredicate::YAPPredicate(YAPAtom at, uintptr_t arity, YAPModule mod):
1. YAPPredicate::YAPPredicate(YAPAtom at, uintptr_t arity): : Atom/Arity constructor for predicates.
1. YAPPredicate::YAPPredicate(const std::string at, uintptr_t arity, std::string mod=""):
< std::string/Arity constructor for predicates.
1. YAPPredicate::YAPPredicate(const char *at, uintptr_t arity):
< char */arity constructor for predicates.
1. YAPPredicate::YAPPredicate(const char *at, uintptr_t arity, YAPTerm mod):
< char */module constructor for predicates.
1. YAPPredicate::YAPPredicate(const char *at, YAPTerm mod):
< char */module constructor for predicates.
1. YAPModule YAPPredicate::module(): : notice that modules are currently treated as atoms, this should change.
< module of a predicate
1. YAPAtom YAPPredicate::name(): : notice that we return the atom, not a string.
< name of predicate
1. YAPFunctor YAPPredicate::functor(): : onlu defined if arity >= 1
< functor of predicate
1. uintptr_t YAPPredicate::getArity():
1. arity_t YAPPredicate::arity(): : arity of predicate, we return a positive number.
1. PredEntry * YAPPredicate::predEntry():
Protected-func:¶
1. PredEntry * YAPPredicate::getPred(Term &t, Term &tm, CELL *&outp): : auxiliary routine to find a predicate in the current module.
1. PredEntry * YAPPredicate::asPred():
1. YAPPredicate::YAPPredicate(): : Empty constructor for predicates.
Just do nothing.
1. YAPPredicate::YAPPredicate(Term &to, Term &tmod, CELL &ts, const char pname): : Term constructor for predicates.
It is just a call to getPred
1. YAPPredicate::YAPPredicate(Term t, CELL *&v):
1. YAPPredicate::YAPPredicate(Term t): : Term constructor for predicates.
It is just a call to getPred
1. YAPPredicate::YAPPredicate(YAPTerm t, CELL *&v):
1. YAPPredicate::YAPPredicate(YAPTerm t):
1. YAPPredicate::YAPPredicate(PredEntry *pe): : Cast constructor for predicates, from C to C++.
1. YAPPredicate::YAPPredicate(Functor f, Term mod):
< C Functor plus C Module constructor for predicates.
Protected Attributes:¶
1. PredEntry* YAPPredicate::ap: