Searched refs:FunctorRDiv (Results 1 – 4 of 4) sorted by relevance
401 FunctorRDiv = FuncAdjust(FunctorRDiv);
401 FunctorRDiv = Yap_MkFunctor(AtomRDiv,2);
798 #define FunctorRDiv Yap_heap_regs->FunctorRDiv_ macro
125 return Yap_MkApplTerm(FunctorRDiv,2,ts); in Yap_RatTermToApplTerm()