Searched refs:AtomRDiv (Results 1 – 3 of 3) sorted by relevance
234 AtomRDiv = Yap_LookupAtom("rdiv");401 FunctorRDiv = Yap_MkFunctor(AtomRDiv,2);
234 AtomRDiv = AtomAdjust(AtomRDiv);
464 #define AtomRDiv Yap_heap_regs->AtomRDiv_ macro