CoCoA4IOHandler.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 COCOA_4_IO_HANDLER_GUARD
#define COCOA_4_IO_HANDLER_GUARD
#include "IOHandlerCommon.h"
#include <vector>
class VarNames;
class Scanner;
class BigTermConsumer;
class CoefBigTermConsumer;
class InputConsumer;
namespace IO {
class CoCoA4IOHandler : public IOHandlerCommon {
public:
CoCoA4IOHandler();
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 doReadTerm(Scanner& in, InputConsumer& consumer);
virtual void doReadRing(Scanner& in, VarNames& names);
virtual bool doPeekRing(Scanner& in);
virtual void doReadBareIdeal(Scanner& in, InputConsumer& consumer);
virtual void doReadBarePolynomial(Scanner& in,
const VarNames& names,
CoefBigTermConsumer& consumer);
};
}
#endif
IOHandlerCommon.h
BigTermConsumer
Definition BigTermConsumer.h:29
CoefBigTermConsumer
Definition CoefBigTermConsumer.h:29
IO::CoCoA4IOHandler::doCreateIdealWriter
virtual BigTermConsumer * doCreateIdealWriter(FILE *out)
Definition CoCoA4IOHandler.cpp:164
IO::CoCoA4IOHandler::doReadBarePolynomial
virtual void doReadBarePolynomial(Scanner &in, const VarNames &names, CoefBigTermConsumer &consumer)
Definition CoCoA4IOHandler.cpp:249
IO::CoCoA4IOHandler::doReadBareIdeal
virtual void doReadBareIdeal(Scanner &in, InputConsumer &consumer)
Definition CoCoA4IOHandler.cpp:230
IO::CoCoA4IOHandler::doReadRing
virtual void doReadRing(Scanner &in, VarNames &names)
Definition CoCoA4IOHandler.cpp:182
IO::CoCoA4IOHandler::CoCoA4IOHandler
CoCoA4IOHandler()
Definition CoCoA4IOHandler.cpp:150
IO::CoCoA4IOHandler::doCreatePolynomialWriter
virtual CoefBigTermConsumer * doCreatePolynomialWriter(FILE *out)
Definition CoCoA4IOHandler.cpp:168
IO::CoCoA4IOHandler::doReadTerm
virtual void doReadTerm(Scanner &in, InputConsumer &consumer)
Definition CoCoA4IOHandler.cpp:178
IO::CoCoA4IOHandler::staticGetName
static const char * staticGetName()
Definition CoCoA4IOHandler.cpp:160
IO::CoCoA4IOHandler::doPeekRing
virtual bool doPeekRing(Scanner &in)
Definition CoCoA4IOHandler.cpp:225
IO::CoCoA4IOHandler::doWriteTerm
virtual void doWriteTerm(const vector< mpz_class > &term, const VarNames &names, FILE *out)
Definition CoCoA4IOHandler.cpp:172
IO::IOHandlerCommon::IOHandlerCommon
IOHandlerCommon(const char *formatName, const char *formatDescription)
Definition IOHandlerCommon.cpp:27
InputConsumer
Definition InputConsumer.h:30
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