Frobby 0.9.5
|
#include <CoefBigTermConsumer.h>
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) |
![]() | |
virtual | ~CoefTermConsumer () |
virtual void | consume (const Polynomial &poly) |
Definition at line 29 of file CoefBigTermConsumer.h.
|
pure virtual |
Implements CoefTermConsumer.
Implemented in CoefBigTermRecorder, ExternalPolynomialConsumerWrapper, IO::PolyWriter, NullCoefTermConsumer, PolynomialConsolidator, and TranslatingCoefTermConsumer.
|
virtual |
Reimplemented in IO::PolyWriter, NullCoefTermConsumer, PolynomialConsolidator, and TranslatingCoefTermConsumer.
Definition at line 33 of file CoefBigTermConsumer.cpp.
|
virtual |
Implements CoefTermConsumer.
Reimplemented in NullCoefTermConsumer, and TranslatingCoefTermConsumer.
Definition at line 25 of file CoefBigTermConsumer.cpp.
|
pure virtual |
|
pure virtual |
|
pure virtual |
Implements CoefTermConsumer.
Implemented in CoefBigTermRecorder, ExternalPolynomialConsumerWrapper, IO::PolyWriter, NullCoefTermConsumer, PolynomialConsolidator, and TranslatingCoefTermConsumer.
|
pure virtual |
Implements CoefTermConsumer.
Implemented in CoefBigTermRecorder, ExternalPolynomialConsumerWrapper, IO::PolyWriter, NullCoefTermConsumer, PolynomialConsolidator, and TranslatingCoefTermConsumer.