TermConsumer.h File Reference

Go to the source code of this file.

Classes
class	TermConsumer
	This class is used to transfer terms one at a time from one part of the program to another, and possibly to perform computations on those terms. More...