YAPFLIP¶

This class interfaces with Predicates Implemented in Prolog.

Public Function:¶

1. YAPFLIP::YAPFLIP(YAP_UserCPred call, std::string name, YAP_Arity arity, const std::string module=std::string(RepAtom(AtomOfTerm(YAP_CurrentModule())) ->StrOfAE), YAP_UserCPred retry=0, YAP_UserCPred cut=0, YAP_Arity extra=0, bool test=false):

1. bool YAPFLIP::addCall(CPredicate call):

1. bool YAPFLIP::addRetry(CPredicate call):

1. bool YAPFLIP::addCut(CPredicate call):

1. Term YAPFLIP::x(int i):

< access to input argument i as a term

1. YAPTerm YAPFLIP::X(int i):

< access to input argument as a YAPTerm

1. bool YAPFLIP::output(Term t, int i):

< unify term t with argumentr i

1. bool YAPFLIP::output(YAPTerm t, int i):

1. bool YAPFLIP::ensureStorage(size_t cells):

< ensure at least cells cells are available

1. bool YAPFLIP::ensureStorage(size_t cells, std::vector< Term > ts): : ts. YAPTerms do no require this.

< ensure memory but take care to first save the terms in ts

Public-attrib:¶

1. YAPFLIP::pad0:

1. YAPFLIP::arity:

1. YAPFLIP::module:

Class: YAPPredicate¶