Frobby  0.9.5
TermConsumer.h
Go to the documentation of this file.
1 /* Frobby: Software for monomial ideal computations.
2  Copyright (C) 2007 Bjarke Hammersholt Roune (www.broune.com)
3 
4  This program is free software; you can redistribute it and/or modify
5  it under the terms of the GNU General Public License as published by
6  the Free Software Foundation; either version 2 of the License, or
7  (at your option) any later version.
8 
9  This program is distributed in the hope that it will be useful,
10  but WITHOUT ANY WARRANTY; without even the implied warranty of
11  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12  GNU General Public License for more details.
13 
14  You should have received a copy of the GNU General Public License
15  along with this program. If not, see http://www.gnu.org/licenses/.
16 */
17 #ifndef TERM_CONSUMER_GUARD
18 #define TERM_CONSUMER_GUARD
19 
20 class Term;
21 class VarNames;
22 class Ideal;
23 
36 class TermConsumer {
37  public:
38  virtual ~TermConsumer();
39 
41  virtual void consumeRing(const VarNames& names);
42 
52  virtual void beginConsumingList();
53 
57  virtual void beginConsuming() = 0;
58 
60  virtual void consume(const Term& term) = 0;
61 
65  virtual void doneConsuming() = 0;
66 
70  virtual void doneConsumingList();
71 
76  void consume(const Ideal& ideal);
77 };
78 
79 #endif
Represents a monomial ideal with int exponents.
Definition: Ideal.h:27
This class is used to transfer terms one at a time from one part of the program to another,...
Definition: TermConsumer.h:36
virtual ~TermConsumer()
virtual void doneConsumingList()
Must be called once after each time beginConsumingList has been called.
virtual void beginConsuming()=0
Tell the consumer to begin consuming an ideal.
virtual void doneConsuming()=0
Must be called once after each time beginConsuming has been called.
virtual void consume(const Term &term)=0
Consume a term.
virtual void consumeRing(const VarNames &names)
Tell the consumer which ring is being used.
virtual void beginConsumingList()
Tell the consumer that the ideals that are consumed until the next call to doneConsumingList are to b...
Term represents a product of variables which does not include a coefficient.
Definition: Term.h:49
Defines the variables of a polynomial ring and facilities IO involving them.
Definition: VarNames.h:40