Generated on Tue Dec 16 13:35:02 2008 for ell-3.0.0 by doxygen 1.5.1

ell::SC_ListingCompr Class Reference

#include <StateCollector.hh>

Inheritance diagram for ell::SC_ListingCompr:

Inheritance graph
[legend]

Detailed Description

This subclass of StateCollector keeps a list of all added States and stores the compressed string representation of each State.

Author:
Daniel Maticzka

Martin Mann

Definition at line 240 of file StateCollector.hh.

Public Types

typedef std::list< CSequenceList

Public Member Functions

virtual void add (const State &s)
virtual const State *const getLastAdded () const
virtual const ListgetList () const
 SC_ListingCompr ()
virtual size_t size () const
 ~SC_ListingCompr ()

Protected Attributes

StatelastAdded
size_t stateCount
List stateList


Member Typedef Documentation

Definition at line 244 of file StateCollector.hh.


Constructor & Destructor Documentation

ell::SC_ListingCompr::SC_ListingCompr (  ) 

Definition at line 5 of file SC_ListingCompr.cc.

ell::SC_ListingCompr::~SC_ListingCompr (  ) 

Definition at line 10 of file SC_ListingCompr.cc.


Member Function Documentation

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

This function stores the compressed string representation in a list.

Parameters:
s the added State

Reimplemented from ell::SC_Counting.

Definition at line 17 of file SC_ListingCompr.cc.

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

Returns last added State.

Returns:
last added State

Implements ell::StateCollector.

Definition at line 37 of file SC_Counting.cc.

const SC_ListingCompr::List & ell::SC_ListingCompr::getList (  )  const [virtual]

Returns the list of compressed string representations of all managed States.

Returns:
the compressed sequence list

Definition at line 29 of file SC_ListingCompr.cc.

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

Returns number of added States.

Returns:
the number of added states

Implements ell::StateCollector.

Definition at line 30 of file SC_Counting.cc.


Field Documentation

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

the last added State

Definition at line 57 of file StateCollector.hh.

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

the number of added States

Definition at line 59 of file StateCollector.hh.

the internal storage of all added states

Definition at line 249 of file StateCollector.hh.


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