Searched refs:FunctorMinus (Results 1 – 5 of 5) sorted by relevance
387 FunctorMinus = FuncAdjust(FunctorMinus);
387 FunctorMinus = Yap_MkFunctor(AtomMinus,2);
770 #define FunctorMinus Yap_heap_regs->FunctorMinus_ macro
408 if (!key_mergesort(pt, size, M_EVEN, FunctorMinus)) in p_ksort()
4271 MkPairTerm(Yap_MkApplTerm(FunctorMinus,2,ts),TermNil);