#include <CoefBigTermRecorder.h>
Definition at line 26 of file CoefBigTermRecorder.h.
◆ CoefBigTermRecorder()
CoefBigTermRecorder::CoefBigTermRecorder |
( |
BigPolynomial * | recordInto | ) |
|
◆ beginConsuming()
void CoefBigTermRecorder::beginConsuming |
( |
| ) |
|
|
virtual |
◆ consume() [1/2]
void CoefBigTermRecorder::consume |
( |
const mpz_class & | coef, |
|
|
const Term & | term, |
|
|
const TermTranslator & | translator ) |
|
virtual |
◆ consume() [2/2]
void CoefBigTermRecorder::consume |
( |
const mpz_class & | coef, |
|
|
const vector< mpz_class > & | term ) |
|
virtual |
◆ consumeRing()
void CoefBigTermRecorder::consumeRing |
( |
const VarNames & | names | ) |
|
|
virtual |
◆ doneConsuming()
void CoefBigTermRecorder::doneConsuming |
( |
| ) |
|
|
virtual |
◆ _recordInto
The documentation for this class was generated from the following files: