Inheritance diagram for DecomRecorder:

Public Member Functions
	DecomRecorder (Ideal *recordInto)

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

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

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

Public Member Functions inherited from TermConsumer
virtual	~TermConsumer ()

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

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	doneConsumingList ()
	Must be called once after each time beginConsumingList has been called. More...

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...

Detailed Description

Definition at line 25 of file DecomRecorder.h.

Constructor & Destructor Documentation

DecomRecorder::DecomRecorder ( Ideal * recordInto )

Definition at line 22 of file DecomRecorder.cpp.

void DecomRecorder::beginConsuming ( )

virtual

Tell the consumer to begin consuming an ideal.

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

Definition at line 27 of file DecomRecorder.cpp.

void DecomRecorder::consume ( const Term & term )

virtual

Consume a term.

Definition at line 30 of file DecomRecorder.cpp.

void DecomRecorder::doneConsuming ( )

virtual

Must be called once after each time beginConsuming has been called.

Definition at line 35 of file DecomRecorder.cpp.

Ideal* DecomRecorder::_recordInto

private

Definition at line 35 of file DecomRecorder.h.

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