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(SatBinomIdeal &ideal)
Defines the variables of a polynomial ring and facilities IO involving them.
virtual void doneConsuming()
virtual void consume(const vector< mpz_class > &term)
virtual void consumeRing(const VarNames &names)
virtual void beginConsuming()
SatBinomRecorder records all consumed saturated binomials into a passed-in ideal. ...