void nameFactoryRegister(NameFactory< AbstractProduct > &factory)
Registers the string returned by ConcreteProduct::getStaticName() to a function that default-construc...
Represents a saturated binomial ideal.
void insert(const vector< mpz_class > &binom)
void clearAndSetNames(const VarNames &names)
virtual void consumeRing(const VarNames &names)
SatBinomRecorder(SatBinomIdeal &ideal)
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.