ConsumerWrapper Class Reference

Inheritance diagram for ConsumerWrapper:

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

Detailed Description

Definition at line 30 of file frobby.cpp.

Constructor & Destructor Documentation

ConsumerWrapper::ConsumerWrapper ( size_t  varCount )

inlineprotected

Definition at line 32 of file frobby.cpp.

virtual ConsumerWrapper::~ConsumerWrapper ( )

inlineprotectedvirtual

Definition at line 37 of file frobby.cpp.

Member Function Documentation

void ConsumerWrapper::setTerm ( const Term &  term, const TermTranslator &  translator  )

inlineprotected

Definition at line 41 of file frobby.cpp.

void ConsumerWrapper::setTerm ( const vector< mpz_class > &  term )

inlineprotected

Definition at line 50 of file frobby.cpp.

Member Data Documentation

mpz_ptr* ConsumerWrapper::_term

protected

Definition at line 58 of file frobby.cpp.

size_t ConsumerWrapper::_varCount

protected

Definition at line 57 of file frobby.cpp.

---

The documentation for this class was generated from the following file:

• src/frobby.cpp