Frobby 0.9.5
|
#include <CoefTermConsumer.h>
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 |
Definition at line 24 of file CoefTermConsumer.h.
|
virtual |
Definition at line 22 of file CoefTermConsumer.cpp.
|
pure virtual |
Implemented in CanonicalCoefTermConsumer, CoefBigTermConsumer, CoefBigTermRecorder, ExternalPolynomialConsumerWrapper, HilbertIndependenceConsumer, HilbertIndependenceConsumer::RightConsumer, IO::PolyWriter, NullCoefTermConsumer, PolynomialConsolidator, TotalDegreeCoefTermConsumer, TranslatingCoefTermConsumer, and UndeformConsumer.
|
pure virtual |
|
virtual |
Definition at line 25 of file CoefTermConsumer.cpp.
|
pure virtual |
Implemented in CanonicalCoefTermConsumer, CoefBigTermConsumer, CoefBigTermRecorder, ExternalPolynomialConsumerWrapper, HilbertIndependenceConsumer, HilbertIndependenceConsumer::RightConsumer, IO::PolyWriter, NullCoefTermConsumer, PolynomialConsolidator, TotalDegreeCoefTermConsumer, TranslatingCoefTermConsumer, and UndeformConsumer.
|
pure virtual |
Implemented in CanonicalCoefTermConsumer, CoefBigTermConsumer, CoefBigTermRecorder, ExternalPolynomialConsumerWrapper, HilbertIndependenceConsumer, HilbertIndependenceConsumer::RightConsumer, IO::PolyWriter, NullCoefTermConsumer, PolynomialConsolidator, TotalDegreeCoefTermConsumer, TranslatingCoefTermConsumer, and UndeformConsumer.