Frobby  0.9.5
CanonicalTermConsumer Member List

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

_consumerCanonicalTermConsumerprivate
_idealsCanonicalTermConsumerprivate
_idealsDeleterCanonicalTermConsumerprivate
_storingListCanonicalTermConsumerprivate
_translatorCanonicalTermConsumerprivate
_varCountCanonicalTermConsumerprivate
beginConsuming()CanonicalTermConsumervirtual
beginConsumingList()CanonicalTermConsumervirtual
canonicalizeIdeal(Ideal &ideal)CanonicalTermConsumerprivate
CanonicalTermConsumer(auto_ptr< TermConsumer > consumer, size_t varCount, TermTranslator *translator=0)CanonicalTermConsumer
consume(const Term &term)CanonicalTermConsumervirtual
TermConsumer::consume(const Ideal &ideal)TermConsumer
consumeRing(const VarNames &names)CanonicalTermConsumervirtual
doneConsuming()CanonicalTermConsumervirtual
doneConsumingList()CanonicalTermConsumervirtual
passLastIdeal()CanonicalTermConsumerprivate
~TermConsumer()TermConsumervirtual