IdealConsolidator Member List

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

_consumer | IdealConsolidator | private
_ideal | IdealConsolidator | private
_inIdeal | IdealConsolidator | private
_inList | IdealConsolidator | private
_names | IdealConsolidator | private
_tmp | IdealConsolidator | private
beginConsuming() | IdealConsolidator | virtual
BigTermConsumer::beginConsuming(const VarNames &names) | BigTermConsumer |
beginConsumingList() | IdealConsolidator | virtual
consume(const Term &term) | IdealConsolidator | virtual
consume(const Term &term, const TermTranslator &translator) | IdealConsolidator | virtual
consume(const vector< mpz_class > &term) | IdealConsolidator | virtual
consume(const BigIdeal &ideal) | IdealConsolidator | virtual
BigTermConsumer::consume(unique_ptr< BigIdeal > ideal) | BigTermConsumer | virtual
TermConsumer::consume(const Ideal &ideal) | TermConsumer |
consumeRing(const VarNames &names) | IdealConsolidator | virtual
doneConsuming() | IdealConsolidator | virtual
doneConsumingList() | IdealConsolidator | virtual
IdealConsolidator(unique_ptr< BigTermConsumer > consumer) | IdealConsolidator |
~BigTermConsumer() | BigTermConsumer | virtual
~TermConsumer() | TermConsumer | virtual