Introduced a simple memory pool.

This commit is contained in:
Roberto Raggi
2010-11-11 15:05:42 +01:00
parent 06df2e2d29
commit 53218ff7c7
8 changed files with 341 additions and 326 deletions

View File

@@ -68,6 +68,7 @@ private:
void reduce(int ruleno);
private:
Engine *_engine;
int _tos;
int _index;
std::vector<int> _stateStack;