Frobby 0.9.5
NullIOHandler.h
Go to the documentation of this file.
1
2/* Frobby: Software for monomial ideal computations.
3 Copyright (C) 2007 Bjarke Hammersholt Roune (www.broune.com)
4
5 This program is free software; you can redistribute it and/or modify
6 it under the terms of the GNU General Public License as published by
7 the Free Software Foundation; either version 2 of the License, or
8 (at your option) any later version.
9
10 This program is distributed in the hope that it will be useful,
11 but WITHOUT ANY WARRANTY; without even the implied warranty of
12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13 GNU General Public License for more details.
14
15 You should have received a copy of the GNU General Public License
16 along with this program. If not, see http://www.gnu.org/licenses/.
17*/
18#ifndef NULL_IO_HANDLER_GUARD
19#define NULL_IO_HANDLER_GUARD
20
21#include "IOHandlerImpl.h"
22
23class VarNames;
24class Scanner;
25class BigIdeal;
26class BigPolynomial;
28class InputConsumer;
29
30namespace IO {
33 public:
35
36 static const char* staticGetName();
37
38 private:
39 virtual BigTermConsumer* doCreateIdealWriter(FILE* out);
41
42 virtual void doWriteTerm(const vector<mpz_class>& term,
43 const VarNames& names,
44 FILE* out);
45 virtual void doReadIdeal(Scanner& in, InputConsumer& consumer);
46 virtual void doReadIdeals(Scanner& in, InputConsumer& consumer);
47 virtual void doReadTerm(Scanner& in, InputConsumer& consumer);
48 virtual void doReadPolynomial(Scanner& in, CoefBigTermConsumer& consumer);
49 virtual void doReadSatBinomIdeal(Scanner& in, SatBinomConsumer& consumer);
50 virtual bool doHasMoreInput(Scanner& in) const;
51 };
52}
53
54#endif
This class contains a minimum level of functionality that makes it more convenient to derive from tha...
This class ignores the input and discards all output.
virtual void doReadSatBinomIdeal(Scanner &in, SatBinomConsumer &consumer)
virtual BigTermConsumer * doCreateIdealWriter(FILE *out)
virtual void doReadPolynomial(Scanner &in, CoefBigTermConsumer &consumer)
virtual void doReadIdeal(Scanner &in, InputConsumer &consumer)
virtual CoefBigTermConsumer * doCreatePolynomialWriter(FILE *out)
virtual bool doHasMoreInput(Scanner &in) const
static const char * staticGetName()
virtual void doReadIdeals(Scanner &in, InputConsumer &consumer)
virtual void doReadTerm(Scanner &in, InputConsumer &consumer)
virtual void doWriteTerm(const vector< mpz_class > &term, const VarNames &names, FILE *out)
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