Main Page   Class Hierarchy   Compound List   File List   Compound Members   File Members  

ORConsequencesEnumeratorARCer Class Reference

#include <ORConsequencesEnumerator.h>

Inheritance diagram for ORConsequencesEnumeratorARCer::

EnumeratorARCer ARCer List of all members.

Public Methods

 ORConsequencesEnumeratorARCer (ComputationManager &boss, SMListData &d, const OneRelatorGroup &g)
Chars getFileName () const
void setNumberOfAll (int n)
void writeResults (ostream &)
void readResults (istream &)

Protected Methods

void enumerate ()

Private Attributes

EnumeratorOfConsequences theEnumerator
OneRelatorGroup theGroup
File file
int counter
int numberOfAll

Constructor & Destructor Documentation

ORConsequencesEnumeratorARCer::ORConsequencesEnumeratorARCer ( ComputationManager & boss,
SMListData & d,
const OneRelatorGroup & g ) [inline]

Definition at line 45 of file ORConsequencesEnumerator.h.

Member Function Documentation

Chars ORConsequencesEnumeratorARCer::getFileName ( ) const [inline]

Definition at line 61 of file ORConsequencesEnumerator.h.

void ORConsequencesEnumeratorARCer::setNumberOfAll ( int n ) [inline]

Definition at line 64 of file ORConsequencesEnumerator.h.

Referenced by ORConsequencesEnumerator::resume(), and ORConsequencesEnumerator::start().

void ORConsequencesEnumeratorARCer::writeResults ( ostream & o ) [virtual]

Reimplemented from ARCer.

void ORConsequencesEnumeratorARCer::readResults ( istream & i ) [virtual]

Reimplemented from ARCer.

void ORConsequencesEnumeratorARCer::enumerate ( ) [protected, virtual]

Reimplemented from EnumeratorARCer.

Member Data Documentation

EnumeratorOfConsequences ORConsequencesEnumeratorARCer::theEnumerator [private]

Definition at line 90 of file ORConsequencesEnumerator.h.

OneRelatorGroup ORConsequencesEnumeratorARCer::theGroup [private]

Definition at line 91 of file ORConsequencesEnumerator.h.

File ORConsequencesEnumeratorARCer::file [private]

Definition at line 93 of file ORConsequencesEnumerator.h.

int ORConsequencesEnumeratorARCer::counter [private]

Definition at line 94 of file ORConsequencesEnumerator.h.

int ORConsequencesEnumeratorARCer::numberOfAll [private]

Definition at line 95 of file ORConsequencesEnumerator.h.

The documentation for this class was generated from the following file:
Generated at Tue Jun 19 09:50:01 2001 for Magnus Classes by doxygen1.2.6 written by Dimitri van Heesch, © 1997-2001