17 #ifndef SAT_BINOM_RECORDER_GUARD
18 #define SAT_BINOM_RECORDER_GUARD
33 virtual void consume(
const vector<mpz_class>& term);
Represents a saturated binomial ideal.
SatBinomRecorder records all consumed saturated binomials into a passed-in ideal.
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.