Frobby  0.9.5
ExternalIdealConsumerWrapper Member List

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

_consumerExternalIdealConsumerWrapperprivate
_termConsumerWrapperprotected
_varCountConsumerWrapperprotected
beginConsuming()ExternalIdealConsumerWrapperinlinevirtual
BigTermConsumer::beginConsuming(const VarNames &names)BigTermConsumer
beginConsumingList()TermConsumervirtual
consume(const Term &term, const TermTranslator &translator)ExternalIdealConsumerWrapperinlinevirtual
consume(const vector< mpz_class > &term)ExternalIdealConsumerWrapperinlinevirtual
BigTermConsumer::consume(const Term &term)BigTermConsumervirtual
BigTermConsumer::consume(const BigIdeal &ideal)BigTermConsumervirtual
BigTermConsumer::consume(auto_ptr< BigIdeal > ideal)BigTermConsumervirtual
TermConsumer::consume(const Ideal &ideal)TermConsumer
consumeRing(const VarNames &names)ExternalIdealConsumerWrapperinlinevirtual
ConsumerWrapper(size_t varCount)ConsumerWrapperinlineprotected
doneConsuming()ExternalIdealConsumerWrapperinlinevirtual
doneConsumingList()TermConsumervirtual
ExternalIdealConsumerWrapper(Frobby::IdealConsumer *consumer, size_t varCount)ExternalIdealConsumerWrapperinline
setTerm(const Term &term, const TermTranslator &translator)ConsumerWrapperinlineprotected
setTerm(const vector< mpz_class > &term)ConsumerWrapperinlineprotected
~BigTermConsumer()BigTermConsumervirtual
~ConsumerWrapper()ConsumerWrapperinlineprotectedvirtual
~TermConsumer()TermConsumervirtual