Frobby  0.9.5
Classes
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...