PolynomialConsolidator Member List

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

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