TranslatingTermConsumer Member List

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

_consumer | TranslatingTermConsumer | private
_consumerOwner | TranslatingTermConsumer | private
_translator | TranslatingTermConsumer | private
beginConsuming() | TranslatingTermConsumer | virtual
BigTermConsumer::beginConsuming(const VarNames &names) | BigTermConsumer |
beginConsumingList() | TranslatingTermConsumer | virtual
consume(const Term &term) | TranslatingTermConsumer | virtual
consume(const vector< mpz_class > &term) | TranslatingTermConsumer | virtual
consume(const Term &term, const TermTranslator &translator) | TranslatingTermConsumer | virtual
consume(const BigIdeal &ideal) | TranslatingTermConsumer | virtual
BigTermConsumer::consume(unique_ptr< BigIdeal > ideal) | BigTermConsumer | virtual
TermConsumer::consume(const Ideal &ideal) | TermConsumer |
consumeRing(const VarNames &names) | TranslatingTermConsumer | virtual
doneConsuming() | TranslatingTermConsumer | virtual
doneConsumingList() | TranslatingTermConsumer | virtual
TranslatingTermConsumer(BigTermConsumer &consumer, const TermTranslator &translator) | TranslatingTermConsumer |
TranslatingTermConsumer(unique_ptr< BigTermConsumer > consumer, const TermTranslator &translator) | TranslatingTermConsumer |
~BigTermConsumer() | BigTermConsumer | virtual
~TermConsumer() | TermConsumer | virtual