Searched refs:FunctorAltNot (Results 1 – 4 of 4) sorted by relevance
320 FunctorAltNot = FuncAdjust(FunctorAltNot);
320 FunctorAltNot = Yap_MkFunctor(AtomAltNot,1);
636 #define FunctorAltNot Yap_heap_regs->FunctorAltNot_ macro
1724 else if (f == FunctorNot || f == FunctorAltNot) {