MonosIOHandler.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 MONOS_IO_HANDLER_GUARD
#define MONOS_IO_HANDLER_GUARD
#include "IOHandlerCommon.h"
#include <vector>
class Scanner;
class VarNames;
class BigTermConsumer;
namespace IO {
class MonosIOHandler : public IOHandlerCommon {
public:
MonosIOHandler();
static const char* staticGetName();
private:
virtual BigTermConsumer* doCreateIdealWriter(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);
};
}
#endif
IOHandlerCommon.h
BigTermConsumer
Definition BigTermConsumer.h:29
IO::IOHandlerCommon::IOHandlerCommon
IOHandlerCommon(const char *formatName, const char *formatDescription)
Definition IOHandlerCommon.cpp:27
IO::MonosIOHandler::doCreateIdealWriter
virtual BigTermConsumer * doCreateIdealWriter(FILE *out)
Definition MonosIOHandler.cpp:81
IO::MonosIOHandler::doReadRing
virtual void doReadRing(Scanner &in, VarNames &names)
Definition MonosIOHandler.cpp:95
IO::MonosIOHandler::doWriteTerm
virtual void doWriteTerm(const vector< mpz_class > &term, const VarNames &names, FILE *out)
Definition MonosIOHandler.cpp:85
IO::MonosIOHandler::MonosIOHandler
MonosIOHandler()
Definition MonosIOHandler.cpp:68
IO::MonosIOHandler::doReadBareIdeal
virtual void doReadBareIdeal(Scanner &in, InputConsumer &consumer)
Definition MonosIOHandler.cpp:110
IO::MonosIOHandler::staticGetName
static const char * staticGetName()
Definition MonosIOHandler.cpp:77
IO::MonosIOHandler::doReadTerm
virtual void doReadTerm(Scanner &in, InputConsumer &consumer)
Definition MonosIOHandler.cpp:91
IO::MonosIOHandler::doPeekRing
virtual bool doPeekRing(Scanner &in)
Definition MonosIOHandler.cpp:106
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