main page namespaces classes files
ELL home

ell::SC_Outstream Class Reference

#include <SC_Outstream.hh>

Inheritance diagram for ell::SC_Outstream:

[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
State *	lastAdded
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:

• src/ell/SC_Outstream.hh
• src/ell/SC_Outstream.cc