IO::IdealWriter Member List

This is the complete list of members for IO::IdealWriter, including all inherited members.

_firstGenerator | IO::IdealWriter | private
_firstIdeal | IO::IdealWriter | private
_names | IO::IdealWriter | private
_out | IO::IdealWriter | private
beginConsuming() | IO::IdealWriter | virtual
BigTermConsumer::beginConsuming(const VarNames &names) | BigTermConsumer |
beginConsumingList() | IO::IdealWriter | virtual
consume(const Term &term, const TermTranslator &translator) | IO::IdealWriter | virtual
consume(const vector< mpz_class > &term) | IO::IdealWriter | virtual
consume(const BigIdeal &ideal) | IO::IdealWriter | virtual
BigTermConsumer::consume(const Term &term) | BigTermConsumer | virtual
BigTermConsumer::consume(unique_ptr< BigIdeal > ideal) | BigTermConsumer | virtual
TermConsumer::consume(const Ideal &ideal) | TermConsumer |
consumeRing(const VarNames &names) | IO::IdealWriter | virtual
doneConsuming() | IO::IdealWriter | virtual
doneConsumingList() | IO::IdealWriter | virtual
doWriteEmptyList()=0 | IO::IdealWriter | private pure virtual
doWriteFooter(bool wasZeroIdeal)=0 | IO::IdealWriter | private pure virtual
doWriteHeader(bool firstIdeal, size_t generatorCount) | IO::IdealWriter | private virtual
doWriteHeader(bool firstIdeal)=0 | IO::IdealWriter | private pure virtual
doWriteTerm(const Term &term, const TermTranslator &translator, bool firstGenerator)=0 | IO::IdealWriter | private pure virtual
doWriteTerm(const vector< mpz_class > &term, bool firstGenerator)=0 | IO::IdealWriter | private pure virtual
getFile() | IO::IdealWriter | inline
getNames() | IO::IdealWriter | inline
IdealWriter(FILE *out) | IO::IdealWriter |
~BigTermConsumer() | BigTermConsumer | virtual
~TermConsumer() | TermConsumer | virtual