Frobby 0.9.5
Fourti2IOHandler.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 FOURTI2_IO_HANDLER_GUARD
18#define FOURTI2_IO_HANDLER_GUARD
19
20#include "IOHandlerImpl.h"
21#include <vector>
22
23class Scanner;
24class VarNames;
25class BigTermConsumer;
26class BigCoefTermConsumer;
28
29namespace IO {
31 public:
33
34 static const char* staticGetName();
35
36 private:
37 virtual BigTermConsumer* doCreateIdealWriter(FILE* out);
39
40 virtual void doWriteTerm(const vector<mpz_class>& term,
41 const VarNames& names,
42 FILE* out);
43 virtual void doReadTerm(Scanner& in, InputConsumer& consumer);
44 virtual void doReadIdeal(Scanner& in, InputConsumer& consumer);
45 virtual void doReadIdeals(Scanner& in, InputConsumer& consumer);
46 virtual void doReadPolynomial(Scanner& in,
47 CoefBigTermConsumer& consumer);
48 virtual void doReadSatBinomIdeal(Scanner& in,
49 SatBinomConsumer& consumer);
50 };
51}
52
53#endif
virtual BigTermConsumer * doCreateIdealWriter(FILE *out)
virtual void doReadIdeal(Scanner &in, InputConsumer &consumer)
virtual void doWriteTerm(const vector< mpz_class > &term, const VarNames &names, FILE *out)
virtual void doReadSatBinomIdeal(Scanner &in, SatBinomConsumer &consumer)
virtual void doReadPolynomial(Scanner &in, CoefBigTermConsumer &consumer)
static const char * staticGetName()
virtual CoefBigTermConsumer * doCreatePolynomialWriter(FILE *out)
virtual void doReadIdeals(Scanner &in, InputConsumer &consumer)
virtual void doReadTerm(Scanner &in, InputConsumer &consumer)
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