Frobby  0.9.5
IO::NewMonosIdealWriter Member List

This is the complete list of members for IO::NewMonosIdealWriter, 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()IO::NewMonosIdealWriterinlineprivatevirtual
doWriteFooter(bool wasZeroIdeal)IO::NewMonosIdealWriterinlineprivatevirtual
doWriteHeader(bool first)IO::NewMonosIdealWriterinlineprivatevirtual
doWriteTerm(const Term &term, const TermTranslator &translator, bool first)IO::NewMonosIdealWriterinlineprivatevirtual
doWriteTerm(const vector< mpz_class > &term, bool first)IO::NewMonosIdealWriterinlineprivatevirtual
getFile()IO::IdealWriterinline
getNames()IO::IdealWriterinline
IdealWriter(FILE *out)IO::IdealWriter
NewMonosIdealWriter(FILE *out)IO::NewMonosIdealWriterinline
~BigTermConsumer()BigTermConsumervirtual
~TermConsumer()TermConsumervirtual
Generated by doxygen 1.9.1