Go to the documentation of this file.
110 _parent->consumeRight(coef, term);
117 const Term& leftTerm) {
126 for (
size_t right = 0; right < rightSize; ++right) {
virtual void beginConsuming()
void inverseProject(Term &to, const Exponent *from) const
void getBigProjection(Projection &projection) const
Projection _rightProjection
CoefTermConsumer * _parent
const_iterator begin() const
RightConsumer _rightConsumer
CoefTermConsumer * getLeftConsumer()
void reset(size_t newVarCount)
void clearAndSetVarCount(size_t varCount)
CoefTermConsumer * getRightConsumer()
virtual void doneConsuming()
const Projection & getRightProjection() const
vector< mpz_class > _rightCoefs
virtual void consume(const mpz_class &coef, const Term &term)
size_t getVarCount() const
void freeConsumer(auto_ptr< HilbertIndependenceConsumer > consumer)
virtual void dispose()
Called when the task is no longer used but run has not and will not be called.
RightConsumer(HilbertIndependenceConsumer *parent)
TaskEngine handles a list of tasks that are to be carried out.
size_t getGeneratorCount() const
void reset(CoefTermConsumer *parent, IndependenceSplitter &splitter, size_t varCount)
virtual void consumeLeft(const mpz_class &leftCoef, const Term &leftTerm)
Term represents a product of variables which does not include a coefficient.
virtual void consume(const Polynomial &poly)
size_t getVarCount() const
void getRestProjection(Projection &projection) const
Projection _leftProjection
HilbertStrategy * _strategy
virtual void doneConsuming()
HilbertIndependenceConsumer(HilbertStrategy *strategy)
size_t getRangeVarCount() const
void insert(const Exponent *term)
Defines the variables of a polynomial ring and facilities IO involving them.
virtual void consumeRing(const VarNames &names)
virtual void beginConsuming()
virtual void consume(const mpz_class &coef, const Term &term)
const Projection & getLeftProjection() const
virtual void consumeRight(const mpz_class &coef, const Term &term)
virtual void run(TaskEngine &engine)
Does whatever work this task represents.
virtual void consumeRing(const VarNames &names)