IntGenerator Class Reference

generate integers starting from 0 More...

#include <cf_generator.h>

Public Member Functions
	IntGenerator ()
	~IntGenerator ()
bool	hasItems () const
void	reset ()
CanonicalForm	item () const
void	next ()
void	operator++ ()
void	operator++ (int)
CFGenerator *	clone () const
Public Member Functions inherited from CFGenerator
	CFGenerator ()
virtual	~CFGenerator ()
virtual bool	hasItems () const
virtual void	reset ()
virtual CanonicalForm	item () const
virtual void	next ()
virtual CFGenerator *	clone () const

Private Attributes
int	current

Detailed Description

generate integers starting from 0

Definition at line 36 of file cf_generator.h.

Constructor & Destructor Documentation

IntGenerator()

IntGenerator::IntGenerator ( )

inline

Definition at line 41 of file cf_generator.h.

: current(0) {}

~IntGenerator()

IntGenerator::~IntGenerator ( )

inline

Definition at line 42 of file cf_generator.h.

{}

Member Function Documentation

clone()

CFGenerator * IntGenerator::clone ( ) const

virtual

Reimplemented from CFGenerator.

Definition at line 30 of file cf_generator.cc.

{
    return new IntGenerator();
}

hasItems()

bool IntGenerator::hasItems ( ) const

virtual

Reimplemented from CFGenerator.

Definition at line 15 of file cf_generator.cc.

{
    return 1;
}

item()

CanonicalForm IntGenerator::item ( ) const

virtual

Reimplemented from CFGenerator.

Definition at line 20 of file cf_generator.cc.

{
  return mapinto (CanonicalForm (current));
}

next()

void IntGenerator::next ( )

virtual

Reimplemented from CFGenerator.

Definition at line 25 of file cf_generator.cc.

{
    current++;
}

operator++() [1/2]

void IntGenerator::operator++ ( )

inline

Definition at line 47 of file cf_generator.h.

{ next(); }

operator++() [2/2]

void IntGenerator::operator++ ( int  )

inline

Definition at line 48 of file cf_generator.h.

{ next(); }

reset()

void IntGenerator::reset ( )

inlinevirtual

Reimplemented from CFGenerator.

Definition at line 44 of file cf_generator.h.

{ current = 0; }

Field Documentation

current

int IntGenerator::current

private

Definition at line 39 of file cf_generator.h.

---

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

• factory/cf_generator.h
• factory/cf_generator.cc