Generated on Mon Jun 23 17:18:25 2008 for ell-2.3.0 by doxygen 1.5.1

ell::SC_Outstream Class Reference

#include <SC_Outstream.hh>

Inheritance diagram for ell::SC_Outstream:

Inheritance graph
[legend]

Detailed Description

A WalkCollector that prints each reported state to the given outstream using the additional given flags.

Author:
Martin Mann <mmann@informatik.uni-freiburg.de>

Definition at line 17 of file SC_Outstream.hh.

Public Member Functions

virtual void add (const State &s)
virtual const State *const getLastAdded () const
 SC_Outstream (std::ostream &out, const std::string &labelAdded)
virtual size_t size () const
virtual ~SC_Outstream ()

Protected Attributes

StatelastAdded
std::ostream & out
size_t stateCount
const std::string strAdded


Constructor & Destructor Documentation

ell::SC_Outstream::SC_Outstream ( std::ostream &  out,
const std::string &  labelAdded 
)

Constructs a WalkCollector that writes all States to out stream.

Parameters:
out the outstream to write to
labelAdded label for accepted states

Definition at line 6 of file SC_Outstream.cc.

ell::SC_Outstream::~SC_Outstream (  )  [virtual]

Definition at line 12 of file SC_Outstream.cc.


Member Function Documentation

void ell::SC_Outstream::add ( const State s  )  [virtual]

This function is used to track all accepted intermediate States.

Parameters:
s the accepted State

Reimplemented from ell::SC_Counting.

Definition at line 19 of file SC_Outstream.cc.

const State *const ell::SC_Counting::getLastAdded (  )  const [virtual, inherited]

Returns last added State.

Returns:
last added State

Implements ell::StateCollector.

Reimplemented in ell::SC_Listing.

Definition at line 39 of file SC_Counting.cc.

size_t ell::SC_Counting::size (  )  const [virtual, inherited]

Returns number of added States.

Returns:
the number of added states

Implements ell::StateCollector.

Reimplemented in ell::SC_Listing.

Definition at line 32 of file SC_Counting.cc.


Field Documentation

State* ell::SC_Counting::lastAdded [protected, inherited]

the last added State

Definition at line 18 of file SC_Counting.hh.

std::ostream& ell::SC_Outstream::out [protected]

the stream to write the states to

Definition at line 21 of file SC_Outstream.hh.

size_t ell::SC_Counting::stateCount [protected, inherited]

the number of added States

Definition at line 20 of file SC_Counting.hh.

const std::string ell::SC_Outstream::strAdded [protected]

additional string for accepted states

Definition at line 24 of file SC_Outstream.hh.


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