Frobby  0.9.5
BigTermRecorder Member List

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

_idealCountBigTermRecorderprivate
_idealsBigTermRecorderprivate
_idealsDeleterBigTermRecorderprivate
_namesBigTermRecorderprivate
beginConsuming()BigTermRecordervirtual
BigTermConsumer::beginConsuming(const VarNames &names)BigTermConsumer
beginConsumingList()TermConsumervirtual
BigTermRecorder()BigTermRecorder
consume(const Term &term, const TermTranslator &translator)BigTermRecordervirtual
consume(const vector< mpz_class > &term)BigTermRecordervirtual
consume(auto_ptr< BigIdeal > ideal)BigTermRecordervirtual
BigTermConsumer::consume(const Term &term)BigTermConsumervirtual
BigTermConsumer::consume(const BigIdeal &ideal)BigTermConsumervirtual
TermConsumer::consume(const Ideal &ideal)TermConsumer
consumeRing(const VarNames &names)BigTermRecordervirtual
doneConsuming()BigTermRecordervirtual
doneConsumingList()TermConsumervirtual
empty() constBigTermRecorder
getRing()BigTermRecorder
releaseIdeal()BigTermRecorder
~BigTermConsumer()BigTermConsumervirtual
~TermConsumer()TermConsumervirtual