BigTermConsumer Member List

This is the complete list of members for BigTermConsumer, including all inherited members.

beginConsuming()=0 | BigTermConsumer | pure virtual
beginConsuming(const VarNames &names) | BigTermConsumer |
beginConsumingList() | TermConsumer | virtual
consume(const vector< mpz_class > &term)=0 | BigTermConsumer | pure virtual
consume(const Term &term) | BigTermConsumer | virtual
consume(const Term &term, const TermTranslator &translator)=0 | BigTermConsumer | pure virtual
consume(const BigIdeal &ideal) | BigTermConsumer | virtual
consume(unique_ptr< BigIdeal > ideal) | BigTermConsumer | virtual
TermConsumer::consume(const Ideal &ideal) | TermConsumer |
consumeRing(const VarNames &names)=0 | BigTermConsumer | pure virtual
doneConsuming()=0 | BigTermConsumer | pure virtual
doneConsumingList() | TermConsumer | virtual
~BigTermConsumer() | BigTermConsumer | virtual
~TermConsumer() | TermConsumer | virtual