Searched refs:AtomDOUBLE (Results 1 – 4 of 4) sorted by relevance
433 Yap_DebugPlWrite(MkAtomTerm(AtomDOUBLE)); in write_functor()584 Yap_DebugPlWrite(MkAtomTerm(AtomDOUBLE)); in ShowOp()
71 AtomDOUBLE = AtomAdjust(AtomDOUBLE);
71 AtomDOUBLE = Yap_FullLookupAtom("Double");
138 #define AtomDOUBLE Yap_heap_regs->AtomDOUBLE_ macro