Frobby 0.9.5
|
#include <SatBinomConsumer.h>
Public Member Functions | |
virtual | ~SatBinomConsumer () |
virtual void | consumeRing (const VarNames &names)=0 |
virtual void | beginConsuming ()=0 |
virtual void | consume (const vector< mpz_class > &term)=0 |
virtual void | doneConsuming ()=0 |
virtual void | consume (const SatBinomIdeal &ideal) |
void | beginConsuming (const VarNames &names) |
Definition at line 25 of file SatBinomConsumer.h.
|
virtual |
Definition at line 22 of file SatBinomConsumer.cpp.
Implemented in SatBinomRecorder.
Definition at line 25 of file SatBinomConsumer.cpp.
|
virtual |
Definition at line 30 of file SatBinomConsumer.cpp.
Implemented in SatBinomRecorder.
Implemented in SatBinomRecorder.
Implemented in SatBinomRecorder.