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.
Implements CoefTermConsumer.
Implemented in CoefBigTermRecorder, ExternalPolynomialConsumerWrapper, NullCoefTermConsumer, PolynomialConsolidator, IO::PolyWriter, and TranslatingCoefTermConsumer.
|
virtual |
Reimplemented in NullCoefTermConsumer, PolynomialConsolidator, IO::PolyWriter, and TranslatingCoefTermConsumer.
Definition at line 33 of file CoefBigTermConsumer.cpp.
Implements CoefTermConsumer.
Reimplemented in NullCoefTermConsumer, and TranslatingCoefTermConsumer.
Definition at line 25 of file CoefBigTermConsumer.cpp.
Implements CoefTermConsumer.
Implemented in CoefBigTermRecorder, ExternalPolynomialConsumerWrapper, NullCoefTermConsumer, PolynomialConsolidator, IO::PolyWriter, and TranslatingCoefTermConsumer.
Implements CoefTermConsumer.
Implemented in CoefBigTermRecorder, ExternalPolynomialConsumerWrapper, NullCoefTermConsumer, PolynomialConsolidator, IO::PolyWriter, and TranslatingCoefTermConsumer.