17#ifndef SAT_BINOM_RECORDER_GUARD
18#define SAT_BINOM_RECORDER_GUARD
33 virtual void consume(
const vector<mpz_class>& term);
void nameFactoryRegister(NameFactory< AbstractProduct > &factory)
Registers the string returned by ConcreteProduct::getStaticName() to a function that default-construc...
Represents a saturated binomial ideal.
SatBinomRecorder records all consumed saturated binomials into a passed-in ideal.
virtual void consumeRing(const VarNames &names)
virtual void beginConsuming()
virtual void doneConsuming()
virtual void consume(const vector< mpz_class > &term)
Defines the variables of a polynomial ring and facilities IO involving them.