IO::CountingIOHandler Member List

This is the complete list of members for IO::CountingIOHandler, including all inherited members.

_formatDescription | IO::IOHandlerImpl | private
_formatName | IO::IOHandlerImpl | private
_supportedInputs | IO::IOHandlerImpl | private
_supportedOutputs | IO::IOHandlerImpl | private
CountingIOHandler() | IO::CountingIOHandler |
createIdealListWriter(FILE *out) | IOHandler |
createIdealWriter(FILE *out) | IOHandler |
createPolynomialWriter(FILE *out) | IOHandler |
doCreateIdealWriter(FILE *out) | IO::CountingIOHandler | private virtual
doCreatePolynomialWriter(FILE *out) | IO::CountingIOHandler | private virtual
doGetDescription() const | IO::IOHandlerImpl | private virtual
doGetName() const | IO::IOHandlerImpl | private virtual
doHasMoreInput(Scanner &in) const | IO::IOHandlerImpl | private virtual
doReadIdeal(Scanner &in, InputConsumer &consumer) | IO::IOHandlerImpl | private virtual
doReadIdeals(Scanner &in, InputConsumer &consumer) | IO::IOHandlerImpl | private virtual
doReadPolynomial(Scanner &in, CoefBigTermConsumer &consumer) | IO::IOHandlerImpl | private virtual
doReadSatBinomIdeal(Scanner &in, SatBinomConsumer &consumer) | IO::IOHandlerImpl | private virtual
doReadTerm(Scanner &in, InputConsumer &term) | IO::IOHandlerImpl | private virtual
doSupportsInput(const DataType &type) const | IO::IOHandlerImpl | private virtual
doSupportsOutput(const DataType &type) const | IO::IOHandlerImpl | private virtual
doWriteTerm(const vector< mpz_class > &term, const VarNames &names, FILE *out) | IO::CountingIOHandler | private virtual
getDescription() const | IOHandler |
getName() const | IOHandler |
hasMoreInput(Scanner &in) const | IOHandler |
IOHandlerImpl(const char *formatName, const char *formatDescription) | IO::IOHandlerImpl | protected
readIdeal(Scanner &in, InputConsumer &consumer) | IOHandler |
readIdeals(Scanner &in, InputConsumer &consumer) | IOHandler |
readPolynomial(Scanner &in, CoefBigTermConsumer &consumer) | IOHandler |
readSatBinomIdeal(Scanner &in, SatBinomConsumer &consumer) | IOHandler |
readTerm(Scanner &in, const VarNames &names, vector< mpz_class > &term) | IOHandler |
registerInput(const DataType &type) | IO::IOHandlerImpl | protected
registerOutput(const DataType &type) | IO::IOHandlerImpl | protected
staticGetName() | IO::CountingIOHandler | static
supportsInput(const DataType &type) const | IOHandler |
supportsOutput(const DataType &type) const | IOHandler |
writeTerm(const vector< mpz_class > &term, const VarNames &names, FILE *out) | IOHandler |
~IOHandler() | IOHandler | virtual