ell::SC_ListingCompr Class Reference
#include <SC_ListingCompr.hh>
Inheritance diagram for ell::SC_ListingCompr:
Detailed Description
This subclass of WalkCollector keeps a list of all added States and stores the compressed string representation of each State.
Definition at line 17 of file SC_ListingCompr.hh.
Public Types | |
typedef std::list< CSequence > | List |
Public Member Functions | |
virtual void | add (const State &s) |
virtual const State *const | getLastAdded () const |
virtual const List & | getList () const |
SC_ListingCompr () | |
virtual size_t | size () const |
~SC_ListingCompr () | |
Protected Attributes | |
State * | lastAdded |
size_t | stateCount |
List | stateList |
Member Typedef Documentation
typedef std::list<CSequence> ell::SC_ListingCompr::List |
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] |
size_t ell::SC_Counting::stateCount [protected, inherited] |
List ell::SC_ListingCompr::stateList [protected] |
The documentation for this class was generated from the following files:
- src/ell/SC_ListingCompr.hh
- src/ell/SC_ListingCompr.cc