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(auto_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(auto_ptr< BigTermConsumer > consumer, const TermTranslator &translator)	TranslatingTermConsumer
~BigTermConsumer()	BigTermConsumer	virtual
~TermConsumer()	TermConsumer	virtual