Frobby  0.9.5
BigTermConsumer Member List

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

beginConsuming()=0BigTermConsumerpure virtual
beginConsuming(const VarNames &names)BigTermConsumer
beginConsumingList()TermConsumervirtual
consume(const vector< mpz_class > &term)=0BigTermConsumerpure virtual
consume(const Term &term)BigTermConsumervirtual
consume(const Term &term, const TermTranslator &translator)=0BigTermConsumerpure virtual
consume(const BigIdeal &ideal)BigTermConsumervirtual
consume(auto_ptr< BigIdeal > ideal)BigTermConsumervirtual
TermConsumer::consume(const Ideal &ideal)TermConsumer
consumeRing(const VarNames &names)=0BigTermConsumerpure virtual
doneConsuming()=0BigTermConsumerpure virtual
doneConsumingList()TermConsumervirtual
~BigTermConsumer()BigTermConsumervirtual
~TermConsumer()TermConsumervirtual
Generated by doxygen 1.9.1