Searched refs:AtomReposition (Results 1 – 5 of 5) sorted by relevance
232 AtomReposition = AtomAdjust(AtomReposition);
232 AtomReposition = Yap_LookupAtom("reposition");
460 #define AtomReposition Yap_heap_regs->AtomReposition_ macro
1336 ti[0] = MkAtomTerm(AtomReposition); in Yap_Error()
2771 t = Yap_MkApplTerm(Yap_MkFunctor(AtomReposition,1),1,ta);