Frobby
0.9.0
|
This is the complete list of members for IO::NullIOHandler, including all inherited members.
createIdealListWriter(FILE *out) | IOHandler | |
createIdealWriter(FILE *out) | IOHandler | |
createPolynomialWriter(FILE *out) | IOHandler | |
doCreateIdealWriter(FILE *out) | IO::NullIOHandler | privatevirtual |
doCreatePolynomialWriter(FILE *out) | IO::NullIOHandler | privatevirtual |
doHasMoreInput(Scanner &in) const | IO::NullIOHandler | privatevirtual |
doReadIdeal(Scanner &in, InputConsumer &consumer) | IO::NullIOHandler | privatevirtual |
doReadIdeals(Scanner &in, InputConsumer &consumer) | IO::NullIOHandler | privatevirtual |
doReadPolynomial(Scanner &in, CoefBigTermConsumer &consumer) | IO::NullIOHandler | privatevirtual |
doReadSatBinomIdeal(Scanner &in, SatBinomConsumer &consumer) | IO::NullIOHandler | privatevirtual |
doReadTerm(Scanner &in, InputConsumer &consumer) | IO::NullIOHandler | privatevirtual |
doWriteTerm(const vector< mpz_class > &term, const VarNames &names, FILE *out) | IO::NullIOHandler | privatevirtual |
getDescription() const | IOHandler | |
getName() const | IOHandler | |
hasMoreInput(Scanner &in) const | IOHandler | |
IOHandlerImpl(const char *formatName, const char *formatDescription) | IO::IOHandlerImpl | protected |
NullIOHandler() | IO::NullIOHandler | |
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::NullIOHandler | 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 |