non-anonymous mempool for SeenPosition

This commit is contained in:
Hieu Hoang 2016-02-25 15:09:09 +00:00
parent 9aa8b6eeaa
commit 23e7bbbbcc
2 changed files with 4 additions and 1 deletions

View File

@ -31,7 +31,8 @@ Search::Search(Manager &mgr)
,m_queue(QueueItemOrderer(), std::vector<QueueItem*>() )
,m_seenPositions(MemPoolAllocator<CubeEdge::SeenPositionItem>(mgr.GetPool()))
,m_seenPositionsAlloc(mgr.GetPool())
,m_seenPositions(m_seenPositionsAlloc)
{
}

View File

@ -36,6 +36,8 @@ protected:
Stack m_stack;
CubeEdge::Queue m_queue;
MemPoolAllocator<CubeEdge::SeenPositionItem> m_seenPositionsAlloc;
CubeEdge::SeenPositions m_seenPositions;
// CUBE PRUNING VARIABLES