Frobby
0.9.0
|
Public Member Functions | |
ExternalPolynomialConsumerWrapper (Frobby::PolynomialConsumer *consumer, size_t varCount) | |
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 () |
![]() | |
virtual void | consume (const mpz_class &coef, const Term &term) |
virtual void | consume (const BigPolynomial &poly) |
![]() | |
virtual | ~CoefTermConsumer () |
virtual void | consume (const Polynomial &poly) |
Private Attributes | |
Frobby::PolynomialConsumer * | _consumer |
size_t | _varCount |
Additional Inherited Members | |
![]() | |
ConsumerWrapper (size_t varCount) | |
virtual | ~ConsumerWrapper () |
void | setTerm (const Term &term, const TermTranslator &translator) |
void | setTerm (const vector< mpz_class > &term) |
![]() | |
size_t | _varCount |
mpz_ptr * | _term |
Definition at line 102 of file frobby.cpp.
|
inline |
Definition at line 105 of file frobby.cpp.
|
inlinevirtual |
Implements CoefBigTermConsumer.
Definition at line 117 of file frobby.cpp.
|
inlinevirtual |
Implements CoefBigTermConsumer.
Definition at line 121 of file frobby.cpp.
|
inlinevirtual |
Implements CoefBigTermConsumer.
Definition at line 131 of file frobby.cpp.
|
inlinevirtual |
Implements CoefBigTermConsumer.
Definition at line 113 of file frobby.cpp.
|
inlinevirtual |
Implements CoefBigTermConsumer.
Definition at line 144 of file frobby.cpp.
|
private |
Definition at line 149 of file frobby.cpp.
|
private |
Definition at line 150 of file frobby.cpp.