Frobby  0.9.5
Public Member Functions | Private Member Functions | List of all members
IO::Fourti2IdealWriter Class Reference
Inheritance diagram for IO::Fourti2IdealWriter:
IO::IdealWriter BigTermConsumer TermConsumer

Public Member Functions

 Fourti2IdealWriter (FILE *out)
 
- Public Member Functions inherited from IO::IdealWriter
 IdealWriter (FILE *out)
 
virtual void consumeRing (const VarNames &names)
 Tell the consumer which ring is being used. More...
 
virtual void beginConsumingList ()
 Tell the consumer that the ideals that are consumed until the next call to doneConsumingList are to be considered as one list of ideals, rather than as a number of separate ideals. More...
 
virtual void beginConsuming ()
 Tell the consumer to begin consuming an ideal. More...
 
virtual void consume (const Term &term, const TermTranslator &translator)
 
virtual void consume (const vector< mpz_class > &term)
 
virtual void doneConsuming ()
 Must be called once after each time beginConsuming has been called. More...
 
virtual void doneConsumingList ()
 Must be called once after each time beginConsumingList has been called. More...
 
virtual void consume (const BigIdeal &ideal)
 
FILE * getFile ()
 
const VarNamesgetNames ()
 
- Public Member Functions inherited from BigTermConsumer
virtual ~BigTermConsumer ()
 
virtual void consume (const Term &term)
 Consume a term. More...
 
virtual void consume (auto_ptr< BigIdeal > ideal)
 
void beginConsuming (const VarNames &names)
 
- Public Member Functions inherited from TermConsumer
virtual ~TermConsumer ()
 
void consume (const Ideal &ideal)
 This is a non-virtual utility method that calls the other methods to achieve its effect of calling beginConsuming, then consuming all generators, and then calling doneConsuming. More...
 

Private Member Functions

virtual void doWriteHeader (bool first)
 
virtual void doWriteHeader (bool first, size_t generatorCount)
 
virtual void doWriteTerm (const Term &term, const TermTranslator &translator, bool first)
 
virtual void doWriteTerm (const vector< mpz_class > &term, bool first)
 
virtual void doWriteFooter (bool wasZeroIdeal)
 
virtual void doWriteEmptyList ()
 

Detailed Description

Definition at line 60 of file Fourti2IOHandler.cpp.

Constructor & Destructor Documentation

◆ Fourti2IdealWriter()

IO::Fourti2IdealWriter::Fourti2IdealWriter ( FILE *  out)
inline

Definition at line 62 of file Fourti2IOHandler.cpp.

Member Function Documentation

◆ doWriteEmptyList()

virtual void IO::Fourti2IdealWriter::doWriteEmptyList ( )
inlineprivatevirtual

Implements IO::IdealWriter.

Definition at line 91 of file Fourti2IOHandler.cpp.

◆ doWriteFooter()

virtual void IO::Fourti2IdealWriter::doWriteFooter ( bool  wasZeroIdeal)
inlineprivatevirtual

Implements IO::IdealWriter.

Definition at line 86 of file Fourti2IOHandler.cpp.

◆ doWriteHeader() [1/2]

virtual void IO::Fourti2IdealWriter::doWriteHeader ( bool  first)
inlineprivatevirtual

Implements IO::IdealWriter.

Definition at line 66 of file Fourti2IOHandler.cpp.

◆ doWriteHeader() [2/2]

virtual void IO::Fourti2IdealWriter::doWriteHeader ( bool  first,
size_t  generatorCount 
)
inlineprivatevirtual

Reimplemented from IO::IdealWriter.

Definition at line 70 of file Fourti2IOHandler.cpp.

◆ doWriteTerm() [1/2]

virtual void IO::Fourti2IdealWriter::doWriteTerm ( const Term term,
const TermTranslator translator,
bool  first 
)
inlineprivatevirtual

Implements IO::IdealWriter.

Definition at line 76 of file Fourti2IOHandler.cpp.

◆ doWriteTerm() [2/2]

virtual void IO::Fourti2IdealWriter::doWriteTerm ( const vector< mpz_class > &  term,
bool  first 
)
inlineprivatevirtual

Implements IO::IdealWriter.

Definition at line 82 of file Fourti2IOHandler.cpp.


The documentation for this class was generated from the following file: