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

ell::SC_ListingCompr Class Reference

#include <SC_ListingCompr.hh>

Inheritance diagram for ell::SC_ListingCompr:

Inheritance graph
[legend]

Detailed Description

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

Author:
Daniel Maticzka

Martin Mann

Definition at line 17 of file SC_ListingCompr.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 21 of file SC_ListingCompr.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.

Reimplemented in ell::SC_Listing.

Definition at line 39 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.

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.

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

the number of added States

Definition at line 20 of file SC_Counting.hh.

the internal storage of all added states

Definition at line 26 of file SC_ListingCompr.hh.


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