Home
last modified time | relevance | path

Searched refs:lastActiveArena (Results 1 – 3 of 3) sorted by relevance

/dports/lang/maude/maude-2.7.1/src/Core/
H A DmemoryCell.cc75 MemoryCell::Arena* MemoryCell::lastActiveArena = 0; member in MemoryCell
147 if (currentArena == lastActiveArena) in slowNew()
162 if (currentArena == lastActiveArena) in slowNew()
261 for (; c != lastActiveArena; c = c->nextArena, d = c->firstNode()) in tidyArenas()
301 lastActiveArena = newLastActiveArena; in tidyArenas()
440 "\nlastActiveArena = " << lastActiveArena << in dumpMemoryVariables()
H A DmemoryCell.hh149 static Arena* lastActiveArena; member in MemoryCell
/dports/lang/maude/maude-2.7.1/src/Interface/
H A DChangeLog1987 (tidyArenas): inefficient hack to avoid relying on lastActiveArena
2024 currentArena, lastActiveArena, lastActiveNode