Frobby 0.9.5
CountingIOHandler.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 COUNTING_IO_HANDLER_GUARD
18#define COUNTING_IO_HANDLER_GUARD
19
20#include "IOHandlerImpl.h"
21#include <vector>
22
23class VarNames;
24class Scanner;
25class BigTermConsumer;
27
28namespace IO {
32 public:
34
35 static const char* staticGetName();
36
37 private:
38 virtual BigTermConsumer* doCreateIdealWriter(FILE* out);
40
41 virtual void doWriteTerm(const vector<mpz_class>& term,
42 const VarNames& names,
43 FILE* out);
44 };
45}
46
47#endif
This class displays the total number of things written to output, without actually displaying those t...
virtual CoefBigTermConsumer * doCreatePolynomialWriter(FILE *out)
virtual BigTermConsumer * doCreateIdealWriter(FILE *out)
static const char * staticGetName()
virtual void doWriteTerm(const vector< mpz_class > &term, const VarNames &names, FILE *out)
This class contains a minimum level of functionality that makes it more convenient to derive from tha...
This class offers an input interface which is more convenient and for some purposes more efficient th...
Definition Scanner.h:50
Defines the variables of a polynomial ring and facilities IO involving them.
Definition VarNames.h:40