17 #ifndef NULL_TERM_CONSUMER_GUARD
18 #define NULL_TERM_CONSUMER_GUARD
32 virtual void consume(
const vector<mpz_class>& term);
virtual void doneConsumingList()
Must be called once after each time beginConsumingList has been called.
Defines the variables of a polynomial ring and facilities IO involving them.
virtual void beginConsumingList()
Tell the consumer that the ideals that are consumed until the next call to doneConsumingList are to b...
virtual void beginConsuming()
Tell the consumer to begin consuming an ideal.
TermTranslator handles translation between terms whose exponents are infinite precision integers and ...
virtual void consumeRing(const VarNames &names)
Tell the consumer which ring is being used.
virtual void consume(const Term &term)
Consume a term.
This follows the null object pattern.
virtual void doneConsuming()
Must be called once after each time beginConsuming has been called.
Term represents a product of variables which does not include a coefficient.