CanonicalTermConsumer Member List

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

_consumer | CanonicalTermConsumer | private
_ideals | CanonicalTermConsumer | private
_idealsDeleter | CanonicalTermConsumer | private
_storingList | CanonicalTermConsumer | private
_translator | CanonicalTermConsumer | private
_varCount | CanonicalTermConsumer | private
beginConsuming() | CanonicalTermConsumer | virtual
beginConsumingList() | CanonicalTermConsumer | virtual
canonicalizeIdeal(Ideal &ideal) | CanonicalTermConsumer | private
CanonicalTermConsumer(unique_ptr< TermConsumer > consumer, size_t varCount, TermTranslator *translator=0) | CanonicalTermConsumer |
consume(const Term &term) | CanonicalTermConsumer | virtual
TermConsumer::consume(const Ideal &ideal) | TermConsumer |
consumeRing(const VarNames &names) | CanonicalTermConsumer | virtual
doneConsuming() | CanonicalTermConsumer | virtual
doneConsumingList() | CanonicalTermConsumer | virtual
passLastIdeal() | CanonicalTermConsumer | private
~TermConsumer() | TermConsumer | virtual