17 #ifndef TERM_IGNORER_GUARD
18 #define TERM_IGNORER_GUARD
This class is used to transfer terms one at a time from one part of the program to another,...
virtual void consume(const Term &term)
Consume a term.
Term represents a product of variables which does not include a coefficient.