Public Member Functions | Private Attributes
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)
 
CFGeneratorclone () const
 
 IntGenerator ()
 
 ~IntGenerator ()
 
bool hasItems () const
 
void reset ()
 
CanonicalForm item () const
 
void next ()
 
void operator++ ()
 
void operator++ (int)
 
CFGeneratorclone () const
 
 IntGenerator ()
 
 ~IntGenerator ()
 
bool hasItems () const
 
void reset ()
 
CanonicalForm item () const
 
void next ()
 
void operator++ ()
 
void operator++ (int)
 
CFGeneratorclone () const
 
- Public Member Functions inherited from CFGenerator
 CFGenerator ()
 
virtual ~CFGenerator ()
 
 CFGenerator ()
 
virtual ~CFGenerator ()
 
 CFGenerator ()
 
virtual ~CFGenerator ()
 

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 ( )
inline

Definition at line 41 of file cf_generator.h.

41 : current(0) {}
IntGenerator::~IntGenerator ( )
inline

Definition at line 42 of file cf_generator.h.

42 {}
IntGenerator::IntGenerator ( )
inline

Definition at line 690 of file factory.h.

690 : current(0) {}
IntGenerator::~IntGenerator ( )
inline

Definition at line 691 of file factory.h.

691 {}
IntGenerator::IntGenerator ( )
inline

Definition at line 690 of file factory.h.

690 : current(0) {}
IntGenerator::~IntGenerator ( )
inline

Definition at line 691 of file factory.h.

691 {}

Member Function Documentation

CFGenerator * IntGenerator::clone ( ) const
virtual

Reimplemented from CFGenerator.

Definition at line 30 of file cf_generator.cc.

31 {
32  return new IntGenerator();
33 }
CFGenerator* IntGenerator::clone ( ) const
virtual

Reimplemented from CFGenerator.

CFGenerator* IntGenerator::clone ( ) const
virtual

Reimplemented from CFGenerator.

bool IntGenerator::hasItems ( ) const
virtual

Reimplemented from CFGenerator.

Definition at line 15 of file cf_generator.cc.

16 {
17  return 1;
18 }
bool IntGenerator::hasItems ( ) const
virtual

Reimplemented from CFGenerator.

bool IntGenerator::hasItems ( ) const
virtual

Reimplemented from CFGenerator.

CanonicalForm IntGenerator::item ( ) const
virtual

Reimplemented from CFGenerator.

Definition at line 20 of file cf_generator.cc.

21 {
22  return mapinto (CanonicalForm (current));
23 }
factory&#39;s main class
Definition: canonicalform.h:75
CanonicalForm mapinto(const CanonicalForm &f)
CanonicalForm IntGenerator::item ( ) const
virtual

Reimplemented from CFGenerator.

CanonicalForm IntGenerator::item ( ) const
virtual

Reimplemented from CFGenerator.

void IntGenerator::next ( )
virtual

Reimplemented from CFGenerator.

Definition at line 25 of file cf_generator.cc.

26 {
27  current++;
28 }
void IntGenerator::next ( )
virtual

Reimplemented from CFGenerator.

void IntGenerator::next ( )
virtual

Reimplemented from CFGenerator.

void IntGenerator::operator++ ( )
inline

Definition at line 47 of file cf_generator.h.

47 { next(); }
void IntGenerator::operator++ ( int  )
inline

Definition at line 48 of file cf_generator.h.

48 { next(); }
void IntGenerator::operator++ ( )
inline

Definition at line 696 of file factory.h.

696 { next(); }
void IntGenerator::operator++ ( )
inline

Definition at line 696 of file factory.h.

696 { next(); }
void IntGenerator::operator++ ( int  )
inline

Definition at line 697 of file factory.h.

697 { next(); }
void IntGenerator::operator++ ( int  )
inline

Definition at line 697 of file factory.h.

697 { next(); }
void IntGenerator::reset ( )
inlinevirtual

Reimplemented from CFGenerator.

Definition at line 44 of file cf_generator.h.

44 { current = 0; }
void IntGenerator::reset ( )
inlinevirtual

Reimplemented from CFGenerator.

Definition at line 693 of file factory.h.

693 { current = 0; }
void IntGenerator::reset ( )
inlinevirtual

Reimplemented from CFGenerator.

Definition at line 693 of file factory.h.

693 { current = 0; }

Field Documentation

int IntGenerator::current
private

Definition at line 39 of file cf_generator.h.


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