#include <SatBinomConsumer.h>
Definition at line 25 of file SatBinomConsumer.h.
◆ ~SatBinomConsumer()
SatBinomConsumer::~SatBinomConsumer |
( |
| ) |
|
|
virtual |
◆ beginConsuming() [1/2]
virtual void SatBinomConsumer::beginConsuming |
( |
| ) |
|
|
pure virtual |
◆ beginConsuming() [2/2]
void SatBinomConsumer::beginConsuming |
( |
const VarNames & | names | ) |
|
◆ consume() [1/2]
◆ consume() [2/2]
virtual void SatBinomConsumer::consume |
( |
const vector< mpz_class > & | term | ) |
|
|
pure virtual |
◆ consumeRing()
virtual void SatBinomConsumer::consumeRing |
( |
const VarNames & | names | ) |
|
|
pure virtual |
◆ doneConsuming()
virtual void SatBinomConsumer::doneConsuming |
( |
| ) |
|
|
pure virtual |
The documentation for this class was generated from the following files: