Go to the documentation of this file.
17 #ifndef COUNTING_IO_HANDLER_GUARD
18 #define COUNTING_IO_HANDLER_GUARD
41 virtual void doWriteTerm(
const vector<mpz_class>& term,
virtual void doWriteTerm(const vector< mpz_class > &term, const VarNames &names, FILE *out)
This class displays the total number of things written to output, without actually displaying those t...
This class offers an input interface which is more convenient and for some purposes more efficient th...
This class contains a minimum level of functionality that makes it more convenient to derive from tha...
static const char * staticGetName()
virtual BigTermConsumer * doCreateIdealWriter(FILE *out)
Defines the variables of a polynomial ring and facilities IO involving them.
virtual CoefBigTermConsumer * doCreatePolynomialWriter(FILE *out)