Searched refs:FunctorClist (Results 1 – 4 of 4) sorted by relevance
334 FunctorClist = FuncAdjust(FunctorClist);
334 FunctorClist = Yap_MkFunctor(AtomWhen,4);
664 #define FunctorClist Yap_heap_regs->FunctorClist_ macro
910 ConstraintsTerm = Yap_MkApplTerm(FunctorClist, 4, t); in MkDBTerm()