BigTermRecorder.h File Reference

#include "BigTermConsumer.h"
#include "ElementDeleter.h"
#include "VarNames.h"
#include <list>

Go to the source code of this file.

Classes
class	BigTermRecorder
	BigTermRecorder records all the terms it consumes into an ideal. More...