Frobby
0.9.0
|
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 30 of file frobby.cpp.
|
inlineprotected |
Definition at line 32 of file frobby.cpp.
|
inlineprotectedvirtual |
Definition at line 37 of file frobby.cpp.
|
inlineprotected |
Definition at line 41 of file frobby.cpp.
|
inlineprotected |
Definition at line 50 of file frobby.cpp.
|
protected |
Definition at line 58 of file frobby.cpp.
|
protected |
Definition at line 57 of file frobby.cpp.