Frobby
0.9.5
IO
MonosIdealWriter
IO::MonosIdealWriter Member List
This is the complete list of members for
IO::MonosIdealWriter
, 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
(auto_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
()
IO::MonosIdealWriter
inline
private
virtual
doWriteFooter
(bool wasZeroIdeal)
IO::MonosIdealWriter
inline
private
virtual
doWriteHeader
(bool first)
IO::MonosIdealWriter
inline
private
virtual
doWriteTerm
(const Term &term, const TermTranslator &translator, bool first)
IO::MonosIdealWriter
inline
private
virtual
doWriteTerm
(const vector< mpz_class > &term, bool first)
IO::MonosIdealWriter
inline
private
virtual
getFile
()
IO::IdealWriter
inline
getNames
()
IO::IdealWriter
inline
IdealWriter
(FILE *out)
IO::IdealWriter
MonosIdealWriter
(FILE *out)
IO::MonosIdealWriter
inline
~BigTermConsumer
()
BigTermConsumer
virtual
~TermConsumer
()
TermConsumer
virtual
Generated by
1.9.1