Go to the documentation of this file.
26 _translator(translator),
32 _translator(translator),
33 _consumer(*consumer) {
34 ASSERT(consumer.get() != 0);
35 _consumerOwner = consumer;
62 _consumer.consume(term, translator);
TranslatingTermConsumer(BigTermConsumer &consumer, const TermTranslator &translator)
virtual void beginConsumingList()
Tell the consumer that the ideals that are consumed until the next call to doneConsumingList are to b...
virtual void beginConsumingList()
Tell the consumer that the ideals that are consumed until the next call to doneConsumingList are to b...
virtual void doneConsumingList()
Must be called once after each time beginConsumingList has been called.
virtual void doneConsumingList()
Must be called once after each time beginConsumingList has been called.
size_t getVarCount() const
virtual void beginConsuming()=0
Tell the consumer to begin consuming an ideal.
BigTermConsumer & _consumer
virtual void consume(const vector< mpz_class > &term)=0
TermTranslator handles translation between terms whose exponents are infinite precision integers and ...
size_t getVarCount() const
virtual void consumeRing(const VarNames &names)
Tell the consumer which ring is being used.
virtual void doneConsuming()=0
Must be called once after each time beginConsuming has been called.
Term represents a product of variables which does not include a coefficient.
virtual void consume(const Term &term)
Consume a term.
virtual void doneConsuming()
Must be called once after each time beginConsuming has been called.
virtual void consumeRing(const VarNames &names)=0
Tell the consumer which ring is being used.
virtual void beginConsuming()
Tell the consumer to begin consuming an ideal.
Defines the variables of a polynomial ring and facilities IO involving them.
const TermTranslator & _translator