Frobby
0.9.5
|
#include <CoefBigTermRecorder.h>
Public Member Functions | |
CoefBigTermRecorder (BigPolynomial *recordInto) | |
virtual void | consumeRing (const VarNames &names) |
virtual void | beginConsuming () |
virtual void | consume (const mpz_class &coef, const Term &term, const TermTranslator &translator) |
virtual void | consume (const mpz_class &coef, const vector< mpz_class > &term) |
virtual void | doneConsuming () |
Public Member Functions inherited from CoefBigTermConsumer | |
virtual void | consume (const mpz_class &coef, const Term &term) |
virtual void | consume (const BigPolynomial &poly) |
Public Member Functions inherited from CoefTermConsumer | |
virtual | ~CoefTermConsumer () |
virtual void | consume (const Polynomial &poly) |
Private Attributes | |
BigPolynomial * | _recordInto |
Definition at line 26 of file CoefBigTermRecorder.h.
CoefBigTermRecorder::CoefBigTermRecorder | ( | BigPolynomial * | recordInto | ) |
Definition at line 22 of file CoefBigTermRecorder.cpp.
|
virtual |
Implements CoefBigTermConsumer.
Definition at line 31 of file CoefBigTermRecorder.cpp.
|
virtual |
Implements CoefBigTermConsumer.
Definition at line 34 of file CoefBigTermRecorder.cpp.
|
virtual |
Implements CoefBigTermConsumer.
Definition at line 40 of file CoefBigTermRecorder.cpp.
|
virtual |
Implements CoefBigTermConsumer.
Definition at line 27 of file CoefBigTermRecorder.cpp.
|
virtual |
Implements CoefBigTermConsumer.
Definition at line 45 of file CoefBigTermRecorder.cpp.
|
private |
Definition at line 44 of file CoefBigTermRecorder.h.