Frobby  0.9.5
IO::IdealWriter Member List

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

_firstGeneratorIO::IdealWriterprivate
_firstIdealIO::IdealWriterprivate
_namesIO::IdealWriterprivate
_outIO::IdealWriterprivate
beginConsuming()IO::IdealWritervirtual
BigTermConsumer::beginConsuming(const VarNames &names)BigTermConsumer
beginConsumingList()IO::IdealWritervirtual
consume(const Term &term, const TermTranslator &translator)IO::IdealWritervirtual
consume(const vector< mpz_class > &term)IO::IdealWritervirtual
consume(const BigIdeal &ideal)IO::IdealWritervirtual
BigTermConsumer::consume(const Term &term)BigTermConsumervirtual
BigTermConsumer::consume(auto_ptr< BigIdeal > ideal)BigTermConsumervirtual
TermConsumer::consume(const Ideal &ideal)TermConsumer
consumeRing(const VarNames &names)IO::IdealWritervirtual
doneConsuming()IO::IdealWritervirtual
doneConsumingList()IO::IdealWritervirtual
doWriteEmptyList()=0IO::IdealWriterprivatepure virtual
doWriteFooter(bool wasZeroIdeal)=0IO::IdealWriterprivatepure virtual
doWriteHeader(bool firstIdeal, size_t generatorCount)IO::IdealWriterprivatevirtual
doWriteHeader(bool firstIdeal)=0IO::IdealWriterprivatepure virtual
doWriteTerm(const Term &term, const TermTranslator &translator, bool firstGenerator)=0IO::IdealWriterprivatepure virtual
doWriteTerm(const vector< mpz_class > &term, bool firstGenerator)=0IO::IdealWriterprivatepure virtual
getFile()IO::IdealWriterinline
getNames()IO::IdealWriterinline
IdealWriter(FILE *out)IO::IdealWriter
~BigTermConsumer()BigTermConsumervirtual
~TermConsumer()TermConsumervirtual
Generated by doxygen 1.9.1