#include <TranslatingTermConsumer.h>

Inheritance diagram for TranslatingTermConsumer:

Public Member Functions
	TranslatingTermConsumer (BigTermConsumer &consumer, const TermTranslator &translator)

	TranslatingTermConsumer (auto_ptr< BigTermConsumer > consumer, const TermTranslator &translator)

virtual void	beginConsumingList ()
	Tell the consumer that the ideals that are consumed until the next call to doneConsumingList are to be considered as one list of ideals, rather than as a number of separate ideals. More...

virtual void	consumeRing (const VarNames &names)
	Tell the consumer which ring is being used. More...

virtual void	beginConsuming ()
	Tell the consumer to begin consuming an ideal. More...

virtual void	consume (const Term &term)
	Consume a term. More...

virtual void	consume (const vector< mpz_class > &term)

virtual void	consume (const Term &term, const TermTranslator &translator)

virtual void	doneConsuming ()
	Must be called once after each time beginConsuming has been called. More...

virtual void	doneConsumingList ()
	Must be called once after each time beginConsumingList has been called. More...

virtual void	consume (const BigIdeal &ideal)

Public Member Functions inherited from BigTermConsumer
virtual	~BigTermConsumer ()

virtual void	consume (auto_ptr< BigIdeal > ideal)

void	beginConsuming (const VarNames &names)

Public Member Functions inherited from TermConsumer
virtual	~TermConsumer ()

void	consume (const Ideal &ideal)
	This is a non-virtual utility method that calls the other methods to achieve its effect of calling beginConsuming, then consuming all generators, and then calling doneConsuming. More...

Private Attributes
const TermTranslator &	_translator

BigTermConsumer &	_consumer

auto_ptr< BigTermConsumer >	_consumerOwner

Detailed Description

Definition at line 30 of file TranslatingTermConsumer.h.

Constructor & Destructor Documentation

◆ TranslatingTermConsumer() [1/2]

TranslatingTermConsumer::TranslatingTermConsumer	(	BigTermConsumer &	consumer,
		const TermTranslator &	translator
	)

Definition at line 24 of file TranslatingTermConsumer.cpp.

◆ TranslatingTermConsumer() [2/2]

TranslatingTermConsumer::TranslatingTermConsumer	(	auto_ptr< BigTermConsumer >	consumer,
		const TermTranslator &	translator
	)

Definition at line 30 of file TranslatingTermConsumer.cpp.

Member Function Documentation

◆ beginConsuming()

void TranslatingTermConsumer::beginConsuming ( )

virtual

Tell the consumer to begin consuming an ideal.

It is required to call this method before calling consume().

Implements BigTermConsumer.

Definition at line 46 of file TranslatingTermConsumer.cpp.

◆ beginConsumingList()

void TranslatingTermConsumer::beginConsumingList ( )

virtual

Tell the consumer that the ideals that are consumed until the next call to doneConsumingList are to be considered as one list of ideals, rather than as a number of separate ideals.

The default implementation is to ignore this, but the consumer is free to do something special in this case. It is thus not in general required to call this method, but if you don't, make sure that every consumer that you want to use does what you want if you output more than a single ideal.

Reimplemented from TermConsumer.

Definition at line 38 of file TranslatingTermConsumer.cpp.