CoefBigTermConsumer Member List

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

beginConsuming()=0 | CoefBigTermConsumer | pure virtual
consume(const mpz_class &coef, const Term &term) | CoefBigTermConsumer | virtual
consume(const mpz_class &coef, const Term &term, const TermTranslator &translator)=0 | CoefBigTermConsumer | pure virtual
consume(const mpz_class &coef, const vector< mpz_class > &term)=0 | CoefBigTermConsumer | pure virtual
consume(const BigPolynomial &poly) | CoefBigTermConsumer | virtual
CoefTermConsumer::consume(const Polynomial &poly) | CoefTermConsumer | virtual
consumeRing(const VarNames &names)=0 | CoefBigTermConsumer | pure virtual
doneConsuming()=0 | CoefBigTermConsumer | pure virtual
~CoefTermConsumer() | CoefTermConsumer | virtual