virtual void beginConsuming()=0
const VarNames & getNames() const
virtual void doneConsuming()=0
virtual ~SatBinomConsumer()
size_t getGeneratorCount() const
virtual void consumeRing(const VarNames &names)=0
Represents a saturated binomial ideal.
virtual void consume(const vector< mpz_class > &term)=0
Defines the variables of a polynomial ring and facilities IO involving them.
const vector< mpz_class > & getGenerator(size_t index) const