Definition at line 106 of file frobby.cpp.
◆ ExternalPolynomialConsumerWrapper()
◆ beginConsuming()
virtual void ExternalPolynomialConsumerWrapper::beginConsuming |
( |
| ) |
|
|
inlinevirtual |
◆ consume() [1/2]
virtual void ExternalPolynomialConsumerWrapper::consume |
( |
const mpz_class & | coef, |
|
|
const Term & | term, |
|
|
const TermTranslator & | translator ) |
|
inlinevirtual |
◆ consume() [2/2]
virtual void ExternalPolynomialConsumerWrapper::consume |
( |
const mpz_class & | coef, |
|
|
const vector< mpz_class > & | term ) |
|
inlinevirtual |
◆ consumeRing()
virtual void ExternalPolynomialConsumerWrapper::consumeRing |
( |
const VarNames & | names | ) |
|
|
inlinevirtual |
◆ doneConsuming()
virtual void ExternalPolynomialConsumerWrapper::doneConsuming |
( |
| ) |
|
|
inlinevirtual |
◆ _consumer
◆ _varCount
size_t ExternalPolynomialConsumerWrapper::_varCount |
|
private |
The documentation for this class was generated from the following file: