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