#include <TranslatingCoefTermConsumer.h>
|
| TranslatingCoefTermConsumer (CoefBigTermConsumer &consumer, const TermTranslator &translator) |
|
| TranslatingCoefTermConsumer (auto_ptr< CoefBigTermConsumer > consumer, const TermTranslator &translator) |
|
virtual void | consumeRing (const VarNames &names) |
|
virtual void | beginConsuming () |
|
virtual void | consume (const mpz_class &coef, const Term &term) |
|
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 () |
|
virtual void | consume (const BigPolynomial &poly) |
|
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) |
|
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 |
|
◆ TranslatingCoefTermConsumer() [1/2]
◆ TranslatingCoefTermConsumer() [2/2]
◆ beginConsuming()
void TranslatingCoefTermConsumer::beginConsuming |
( |
| ) |
|
|
virtual |
◆ consume() [1/4]
void TranslatingCoefTermConsumer::consume |
( |
const BigPolynomial & |
poly | ) |
|
|
virtual |
◆ consume() [2/4]
void TranslatingCoefTermConsumer::consume |
( |
const mpz_class & |
coef, |
|
|
const Term & |
term |
|
) |
| |
|
virtual |
◆ consume() [3/4]
void TranslatingCoefTermConsumer::consume |
( |
const mpz_class & |
coef, |
|
|
const Term & |
term, |
|
|
const TermTranslator & |
translator |
|
) |
| |
|
virtual |
◆ consume() [4/4]
void TranslatingCoefTermConsumer::consume |
( |
const mpz_class & |
coef, |
|
|
const vector< mpz_class > & |
term |
|
) |
| |
|
virtual |
◆ consumeRing()
void TranslatingCoefTermConsumer::consumeRing |
( |
const VarNames & |
names | ) |
|
|
virtual |
◆ doneConsuming()
void TranslatingCoefTermConsumer::doneConsuming |
( |
| ) |
|
|
virtual |
◆ _consumer
◆ _consumerOwner
◆ _translator
The documentation for this class was generated from the following files: