NullIOHandler.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 NULL_IO_HANDLER_GUARD
#define NULL_IO_HANDLER_GUARD
#include "IOHandlerImpl.h"
class VarNames;
class Scanner;
class BigIdeal;
class BigPolynomial;
class SatBinomConsumer;
class InputConsumer;
namespace IO {
class NullIOHandler : public IOHandlerImpl {
public:
NullIOHandler();
static const char* staticGetName();
private:
virtual BigTermConsumer* doCreateIdealWriter(FILE* out);
virtual CoefBigTermConsumer* doCreatePolynomialWriter(FILE* out);
virtual void doWriteTerm(const vector<mpz_class>& term,
const VarNames& names,
FILE* out);
virtual void doReadIdeal(Scanner& in, InputConsumer& consumer);
virtual void doReadIdeals(Scanner& in, InputConsumer& consumer);
virtual void doReadTerm(Scanner& in, InputConsumer& consumer);
virtual void doReadPolynomial(Scanner& in, CoefBigTermConsumer& consumer);
virtual void doReadSatBinomIdeal(Scanner& in, SatBinomConsumer& consumer);
virtual bool doHasMoreInput(Scanner& in) const;
};
}
#endif
IOHandlerImpl.h
BigIdeal
Definition BigIdeal.h:27
BigPolynomial
Definition BigPolynomial.h:27
BigTermConsumer
Definition BigTermConsumer.h:29
CoefBigTermConsumer
Definition CoefBigTermConsumer.h:29
IO::IOHandlerImpl::IOHandlerImpl
IOHandlerImpl(const char *formatName, const char *formatDescription)
Definition IOHandlerImpl.cpp:36
IO::NullIOHandler::doReadSatBinomIdeal
virtual void doReadSatBinomIdeal(Scanner &in, SatBinomConsumer &consumer)
Definition NullIOHandler.cpp:79
IO::NullIOHandler::NullIOHandler
NullIOHandler()
Definition NullIOHandler.cpp:31
IO::NullIOHandler::doCreateIdealWriter
virtual BigTermConsumer * doCreateIdealWriter(FILE *out)
Definition NullIOHandler.cpp:47
IO::NullIOHandler::doReadPolynomial
virtual void doReadPolynomial(Scanner &in, CoefBigTermConsumer &consumer)
Definition NullIOHandler.cpp:75
IO::NullIOHandler::doReadIdeal
virtual void doReadIdeal(Scanner &in, InputConsumer &consumer)
Definition NullIOHandler.cpp:60
IO::NullIOHandler::doCreatePolynomialWriter
virtual CoefBigTermConsumer * doCreatePolynomialWriter(FILE *out)
Definition NullIOHandler.cpp:51
IO::NullIOHandler::doHasMoreInput
virtual bool doHasMoreInput(Scanner &in) const
Definition NullIOHandler.cpp:83
IO::NullIOHandler::staticGetName
static const char * staticGetName()
Definition NullIOHandler.cpp:43
IO::NullIOHandler::doReadIdeals
virtual void doReadIdeals(Scanner &in, InputConsumer &consumer)
Definition NullIOHandler.cpp:66
IO::NullIOHandler::doReadTerm
virtual void doReadTerm(Scanner &in, InputConsumer &consumer)
Definition NullIOHandler.cpp:70
IO::NullIOHandler::doWriteTerm
virtual void doWriteTerm(const vector< mpz_class > &term, const VarNames &names, FILE *out)
Definition NullIOHandler.cpp:55
InputConsumer
Definition InputConsumer.h:30
SatBinomConsumer
Definition SatBinomConsumer.h:25
Scanner
This class offers an input interface which is more convenient and for some purposes more efficient th...
Definition Scanner.h:50
VarNames
Defines the variables of a polynomial ring and facilities IO involving them.
Definition VarNames.h:40
IO
Definition CoCoA4IOHandler.cpp:33