SatBinomConsumer Member List

This is the complete list of members for SatBinomConsumer, including all inherited members.

beginConsuming()=0 | SatBinomConsumer | pure virtual
beginConsuming(const VarNames &names) | SatBinomConsumer |
consume(const vector< mpz_class > &term)=0 | SatBinomConsumer | pure virtual
consume(const SatBinomIdeal &ideal) | SatBinomConsumer | virtual
consumeRing(const VarNames &names)=0 | SatBinomConsumer | pure virtual
doneConsuming()=0 | SatBinomConsumer | pure virtual
~SatBinomConsumer() | SatBinomConsumer | virtual