Frobby
0.9.5
src
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...
Generated by
1.9.1