CoefTermConsumer Class Reference

#include <CoefTermConsumer.h>

Inheritance diagram for CoefTermConsumer:

Public Member Functions
virtual	~CoefTermConsumer ()
virtual void	consume (const Polynomial &poly)
virtual void	consumeRing (const VarNames &names)=0
virtual void	beginConsuming ()=0
virtual void	consume (const mpz_class &coef, const Term &term)=0
virtual void	doneConsuming ()=0

Detailed Description

Definition at line 24 of file CoefTermConsumer.h.

Constructor & Destructor Documentation

~CoefTermConsumer()

CoefTermConsumer::~CoefTermConsumer ( )

virtual

Definition at line 22 of file CoefTermConsumer.cpp.

Member Function Documentation

beginConsuming()

virtual void CoefTermConsumer::beginConsuming ( )

pure virtual

Implemented in CoefBigTermConsumer, ExternalPolynomialConsumerWrapper, HilbertIndependenceConsumer::RightConsumer, UndeformConsumer, HilbertIndependenceConsumer, TotalDegreeCoefTermConsumer, NullCoefTermConsumer, TranslatingCoefTermConsumer, CanonicalCoefTermConsumer, CoefBigTermRecorder, PolynomialConsolidator, and IO::PolyWriter.

consume() [1/2]

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

pure virtual

Implemented in HilbertIndependenceConsumer::RightConsumer, UndeformConsumer, HilbertIndependenceConsumer, TotalDegreeCoefTermConsumer, NullCoefTermConsumer, TranslatingCoefTermConsumer, CanonicalCoefTermConsumer, and CoefBigTermConsumer.

consume() [2/2]

void CoefTermConsumer::consume ( const Polynomial &  poly )

virtual

Definition at line 25 of file CoefTermConsumer.cpp.

consumeRing()

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

pure virtual

Implemented in CoefBigTermConsumer, ExternalPolynomialConsumerWrapper, HilbertIndependenceConsumer::RightConsumer, UndeformConsumer, HilbertIndependenceConsumer, TotalDegreeCoefTermConsumer, NullCoefTermConsumer, TranslatingCoefTermConsumer, CanonicalCoefTermConsumer, CoefBigTermRecorder, PolynomialConsolidator, and IO::PolyWriter.

doneConsuming()

virtual void CoefTermConsumer::doneConsuming ( )

pure virtual

Implemented in CoefBigTermConsumer, ExternalPolynomialConsumerWrapper, UndeformConsumer, HilbertIndependenceConsumer::RightConsumer, HilbertIndependenceConsumer, TotalDegreeCoefTermConsumer, NullCoefTermConsumer, TranslatingCoefTermConsumer, CoefBigTermRecorder, PolynomialConsolidator, CanonicalCoefTermConsumer, and IO::PolyWriter.

---

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

• src/CoefTermConsumer.h
• src/CoefTermConsumer.cpp