Frobby
0.9.5
|
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 | protectedpure virtual |
doCreatePolynomialWriter(FILE *out)=0 | IOHandler | protectedpure virtual |
doGetDescription() const =0 | IOHandler | privatepure virtual |
doGetName() const =0 | IOHandler | privatepure virtual |
doHasMoreInput(Scanner &in) const =0 | IOHandler | privatepure virtual |
doReadIdeal(Scanner &in, InputConsumer &consumer)=0 | IOHandler | privatepure virtual |
doReadIdeals(Scanner &in, InputConsumer &consumer)=0 | IOHandler | privatepure virtual |
doReadPolynomial(Scanner &in, CoefBigTermConsumer &consumer)=0 | IOHandler | privatepure virtual |
doReadSatBinomIdeal(Scanner &in, SatBinomConsumer &consumer)=0 | IOHandler | privatepure virtual |
doReadTerm(Scanner &in, InputConsumer &consumer)=0 | IOHandler | privatepure virtual |
doSupportsInput(const DataType &type) const =0 | IOHandler | privatepure virtual |
doSupportsOutput(const DataType &type) const =0 | IOHandler | privatepure virtual |
doWriteTerm(const vector< mpz_class > &term, const VarNames &names, FILE *out)=0 | IOHandler | privatepure 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 |