ExternalIdealConsumerWrapper Member List

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

_consumer | ExternalIdealConsumerWrapper | private
_term | ConsumerWrapper | protected
_varCount | ConsumerWrapper | protected
beginConsuming() | ExternalIdealConsumerWrapper | inline virtual
BigTermConsumer::beginConsuming(const VarNames &names) | BigTermConsumer |
beginConsumingList() | TermConsumer | virtual
consume(const Term &term, const TermTranslator &translator) | ExternalIdealConsumerWrapper | inline virtual
consume(const vector< mpz_class > &term) | ExternalIdealConsumerWrapper | inline virtual
BigTermConsumer::consume(const Term &term) | BigTermConsumer | virtual
BigTermConsumer::consume(const BigIdeal &ideal) | BigTermConsumer | virtual
BigTermConsumer::consume(unique_ptr< BigIdeal > ideal) | BigTermConsumer | virtual
TermConsumer::consume(const Ideal &ideal) | TermConsumer |
consumeRing(const VarNames &names) | ExternalIdealConsumerWrapper | inline virtual
ConsumerWrapper(size_t varCount) | ConsumerWrapper | inline protected
doneConsuming() | ExternalIdealConsumerWrapper | inline virtual
doneConsumingList() | TermConsumer | virtual
ExternalIdealConsumerWrapper(Frobby::IdealConsumer *consumer, size_t varCount) | ExternalIdealConsumerWrapper | inline
setTerm(const Term &term, const TermTranslator &translator) | ConsumerWrapper | inline protected
setTerm(const vector< mpz_class > &term) | ConsumerWrapper | inline protected
~BigTermConsumer() | BigTermConsumer | virtual
~ConsumerWrapper() | ConsumerWrapper | inline protected virtual
~TermConsumer() | TermConsumer | virtual