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