CoefBigTermConsumer Class Reference

#include <CoefBigTermConsumer.h>

Inheritance diagram for CoefBigTermConsumer:

Public Member Functions
virtual void	consumeRing (const VarNames &names)=0
virtual void	beginConsuming ()=0
virtual void	consume (const mpz_class &coef, const Term &term)
virtual void	consume (const mpz_class &coef, const Term &term, const TermTranslator &translator)=0
virtual void	consume (const mpz_class &coef, const vector< mpz_class > &term)=0
virtual void	doneConsuming ()=0
virtual void	consume (const BigPolynomial &poly)
Public Member Functions inherited from CoefTermConsumer
virtual	~CoefTermConsumer ()
virtual void	consume (const Polynomial &poly)

Detailed Description

Definition at line 29 of file CoefBigTermConsumer.h.

Member Function Documentation

beginConsuming()

virtual void CoefBigTermConsumer::beginConsuming ( )

pure virtual

Implements CoefTermConsumer.

Implemented in TranslatingCoefTermConsumer, IO::PolyWriter, PolynomialConsolidator, NullCoefTermConsumer, ExternalPolynomialConsumerWrapper, and CoefBigTermRecorder.

consume() [1/4]

void CoefBigTermConsumer::consume ( const BigPolynomial &  poly )

virtual

Reimplemented in TranslatingCoefTermConsumer, IO::PolyWriter, PolynomialConsolidator, and NullCoefTermConsumer.

Definition at line 33 of file CoefBigTermConsumer.cpp.

consume() [2/4]

void CoefBigTermConsumer::consume ( const mpz_class &  coef, const Term &  term  )

virtual

Implements CoefTermConsumer.

Reimplemented in TranslatingCoefTermConsumer, and NullCoefTermConsumer.

Definition at line 25 of file CoefBigTermConsumer.cpp.

consume() [3/4]

virtual void CoefBigTermConsumer::consume ( const mpz_class &  coef, const Term &  term, const TermTranslator &  translator  )

pure virtual

Implemented in TranslatingCoefTermConsumer, IO::PolyWriter, PolynomialConsolidator, NullCoefTermConsumer, ExternalPolynomialConsumerWrapper, and CoefBigTermRecorder.

consume() [4/4]

virtual void CoefBigTermConsumer::consume ( const mpz_class &  coef, const vector< mpz_class > &  term  )

pure virtual

Implemented in TranslatingCoefTermConsumer, IO::PolyWriter, PolynomialConsolidator, NullCoefTermConsumer, ExternalPolynomialConsumerWrapper, and CoefBigTermRecorder.

consumeRing()

virtual void CoefBigTermConsumer::consumeRing ( const VarNames &  names )

pure virtual

Implements CoefTermConsumer.

Implemented in TranslatingCoefTermConsumer, IO::PolyWriter, PolynomialConsolidator, NullCoefTermConsumer, ExternalPolynomialConsumerWrapper, and CoefBigTermRecorder.

doneConsuming()

virtual void CoefBigTermConsumer::doneConsuming ( )

pure virtual

Implements CoefTermConsumer.

Implemented in TranslatingCoefTermConsumer, IO::PolyWriter, PolynomialConsolidator, NullCoefTermConsumer, ExternalPolynomialConsumerWrapper, and CoefBigTermRecorder.

---

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

• src/CoefBigTermConsumer.h
• src/CoefBigTermConsumer.cpp