CoefBigTermConsumer.h
Go to the documentation of this file.
/* Frobby: Software for monomial ideal computations.
Copyright (C) 2007 Bjarke Hammersholt Roune (www.broune.com)
This program is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 2 of the License, or
(at your option) any later version.
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
You should have received a copy of the GNU General Public License
along with this program. If not, see http://www.gnu.org/licenses/.
*/
#ifndef COEF_BIG_TERM_CONSUMER_GUARD
#define COEF_BIG_TERM_CONSUMER_GUARD
#include "CoefTermConsumer.h"
#include <vector>
class Term;
class TermTranslator;
class BigPolynomial;
class VarNames;
class CoefBigTermConsumer : public CoefTermConsumer {
public:
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);
};
#endif
CoefTermConsumer.h
BigPolynomial
Definition BigPolynomial.h:27
CoefBigTermConsumer
Definition CoefBigTermConsumer.h:29
CoefBigTermConsumer::consume
virtual void consume(const mpz_class &coef, const Term &term, const TermTranslator &translator)=0
CoefBigTermConsumer::beginConsuming
virtual void beginConsuming()=0
CoefBigTermConsumer::consume
virtual void consume(const mpz_class &coef, const vector< mpz_class > &term)=0
CoefBigTermConsumer::consume
virtual void consume(const mpz_class &coef, const Term &term)
Definition CoefBigTermConsumer.cpp:25
CoefBigTermConsumer::doneConsuming
virtual void doneConsuming()=0
CoefBigTermConsumer::consumeRing
virtual void consumeRing(const VarNames &names)=0
CoefTermConsumer
Definition CoefTermConsumer.h:24
TermTranslator
TermTranslator handles translation between terms whose exponents are infinite precision integers and ...
Definition TermTranslator.h:41
Term
Term represents a product of variables which does not include a coefficient.
Definition Term.h:49
VarNames
Defines the variables of a polynomial ring and facilities IO involving them.
Definition VarNames.h:40