Searched refs:AtomStartupSavedState (Results 1 – 4 of 4) sorted by relevance
268 AtomStartupSavedState = AtomAdjust(AtomStartupSavedState);
268 AtomStartupSavedState = Yap_FullLookupAtom("$startup_saved_state");
532 #define AtomStartupSavedState Yap_heap_regs->AtomStartupSavedState_ macro
2665 Term t_goal = MkAtomTerm(AtomStartupSavedState); in YAP_Init()