NewMonosIOHandler.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 NEW_MONOS_HANDLER_IO
#define NEW_MONOS_HANDLER_IO
#include "IOHandlerImpl.h"
#include <vector>
class Scanner;
class VarNames;
class BigTermConsumer;
namespace IO {
class NewMonosIOHandler : public IOHandlerImpl {
public:
NewMonosIOHandler();
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);
void doReadIdeal(Scanner& in, InputConsumer& consumer);
void doReadIdeals(Scanner& in, InputConsumer& consumer);
};
}
#endif
IOHandlerImpl.h
BigTermConsumer
Definition BigTermConsumer.h:29
IO::IOHandlerImpl::IOHandlerImpl
IOHandlerImpl(const char *formatName, const char *formatDescription)
Definition IOHandlerImpl.cpp:36
IO::NewMonosIOHandler::doReadTerm
virtual void doReadTerm(Scanner &in, InputConsumer &consumer)
Definition NewMonosIOHandler.cpp:92
IO::NewMonosIOHandler::doCreateIdealWriter
virtual BigTermConsumer * doCreateIdealWriter(FILE *out)
Definition NewMonosIOHandler.cpp:82
IO::NewMonosIOHandler::doReadIdeal
void doReadIdeal(Scanner &in, InputConsumer &consumer)
Definition NewMonosIOHandler.cpp:96
IO::NewMonosIOHandler::doWriteTerm
virtual void doWriteTerm(const vector< mpz_class > &term, const VarNames &names, FILE *out)
Definition NewMonosIOHandler.cpp:86
IO::NewMonosIOHandler::staticGetName
static const char * staticGetName()
Definition NewMonosIOHandler.cpp:78
IO::NewMonosIOHandler::NewMonosIOHandler
NewMonosIOHandler()
Definition NewMonosIOHandler.cpp:71
IO::NewMonosIOHandler::doReadIdeals
void doReadIdeals(Scanner &in, InputConsumer &consumer)
Definition NewMonosIOHandler.cpp:101
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