Searched refs:FunctorPlus (Results 1 – 4 of 4) sorted by relevance
396 FunctorPlus = FuncAdjust(FunctorPlus);
396 FunctorPlus = Yap_MkFunctor(AtomPlus,2);
788 #define FunctorPlus Yap_heap_regs->FunctorPlus_ macro
1115 new = Yap_MkApplTerm(FunctorPlus, 2, t2); in p_nb_add_to_accumulator()