IOHandler Member List

This is the complete list of members for IOHandler, including all inherited members.

createIdealListWriter(FILE *out) | IOHandler |
createIdealWriter(FILE *out) | IOHandler |
createPolynomialWriter(FILE *out) | IOHandler |
doCreateIdealWriter(FILE *out)=0 | IOHandler | protected pure virtual
doCreatePolynomialWriter(FILE *out)=0 | IOHandler | protected pure virtual
doGetDescription() const =0 | IOHandler | private pure virtual
doGetName() const =0 | IOHandler | private pure virtual
doHasMoreInput(Scanner &in) const =0 | IOHandler | private pure virtual
doReadIdeal(Scanner &in, InputConsumer &consumer)=0 | IOHandler | private pure virtual
doReadIdeals(Scanner &in, InputConsumer &consumer)=0 | IOHandler | private pure virtual
doReadPolynomial(Scanner &in, CoefBigTermConsumer &consumer)=0 | IOHandler | private pure virtual
doReadSatBinomIdeal(Scanner &in, SatBinomConsumer &consumer)=0 | IOHandler | private pure virtual
doReadTerm(Scanner &in, InputConsumer &consumer)=0 | IOHandler | private pure virtual
doSupportsInput(const DataType &type) const =0 | IOHandler | private pure virtual
doSupportsOutput(const DataType &type) const =0 | IOHandler | private pure virtual
doWriteTerm(const vector< mpz_class > &term, const VarNames &names, FILE *out)=0 | IOHandler | private pure virtual
getDescription() const | IOHandler |
getName() const | IOHandler |
hasMoreInput(Scanner &in) const | IOHandler |
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 |
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