Frobby  0.9.5
Protected Member Functions | Protected Attributes | List of all members
ConsumerWrapper Class Reference
Inheritance diagram for ConsumerWrapper:
ExternalIdealConsumerWrapper ExternalPolynomialConsumerWrapper

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 34 of file frobby.cpp.

Constructor & Destructor Documentation

◆ ConsumerWrapper()

ConsumerWrapper::ConsumerWrapper ( size_t  varCount)
inlineprotected

Definition at line 36 of file frobby.cpp.

◆ ~ConsumerWrapper()

virtual ConsumerWrapper::~ConsumerWrapper ( )
inlineprotectedvirtual

Definition at line 41 of file frobby.cpp.

Member Function Documentation

◆ setTerm() [1/2]

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

Definition at line 45 of file frobby.cpp.

◆ setTerm() [2/2]

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

Definition at line 54 of file frobby.cpp.

Member Data Documentation

◆ _term

mpz_ptr* ConsumerWrapper::_term
protected

Definition at line 62 of file frobby.cpp.

◆ _varCount

size_t ConsumerWrapper::_varCount
protected

Definition at line 61 of file frobby.cpp.


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