TranslatingCoefTermConsumer Member List

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

_consumer | TranslatingCoefTermConsumer | private
_consumerOwner | TranslatingCoefTermConsumer | private
_translator | TranslatingCoefTermConsumer | private
beginConsuming() | TranslatingCoefTermConsumer | virtual
consume(const mpz_class &coef, const Term &term) | TranslatingCoefTermConsumer | virtual
consume(const mpz_class &coef, const Term &term, const TermTranslator &translator) | TranslatingCoefTermConsumer | virtual
consume(const mpz_class &coef, const vector< mpz_class > &term) | TranslatingCoefTermConsumer | virtual
consume(const BigPolynomial &poly) | TranslatingCoefTermConsumer | virtual
CoefTermConsumer::consume(const Polynomial &poly) | CoefTermConsumer | virtual
consumeRing(const VarNames &names) | TranslatingCoefTermConsumer | virtual
doneConsuming() | TranslatingCoefTermConsumer | virtual
TranslatingCoefTermConsumer(CoefBigTermConsumer &consumer, const TermTranslator &translator) | TranslatingCoefTermConsumer |
TranslatingCoefTermConsumer(unique_ptr< CoefBigTermConsumer > consumer, const TermTranslator &translator) | TranslatingCoefTermConsumer |
~CoefTermConsumer() | CoefTermConsumer | virtual