17 #ifndef COUNTING_IO_HANDLER_GUARD
18 #define COUNTING_IO_HANDLER_GUARD
41 virtual void doWriteTerm(
const vector<mpz_class>& term,
virtual CoefBigTermConsumer * doCreatePolynomialWriter(FILE *out)
This class displays the total number of things written to output, without actually displaying those t...
Defines the variables of a polynomial ring and facilities IO involving them.
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...
virtual BigTermConsumer * doCreateIdealWriter(FILE *out)
static const char * staticGetName()
virtual void doWriteTerm(const vector< mpz_class > &term, const VarNames &names, FILE *out)