Frobby 0.9.5
|
Protected Member Functions | |
ConsumerWrapper (size_t varCount) | |
virtual | ~ConsumerWrapper () |
void | setTerm (const Term &term, const TermTranslator &translator) |
void | setTerm (const vector< mpz_class > &term) |
Protected Attributes | |
size_t | _varCount |
mpz_ptr * | _term |
Definition at line 34 of file frobby.cpp.
|
inlineprotected |
Definition at line 36 of file frobby.cpp.
|
inlineprotectedvirtual |
Definition at line 41 of file frobby.cpp.
|
inlineprotected |
Definition at line 45 of file frobby.cpp.
Definition at line 54 of file frobby.cpp.
|
protected |
Definition at line 62 of file frobby.cpp.
|
protected |
Definition at line 61 of file frobby.cpp.