main page namespaces classes files
ELL home

src/ell/SC_Listing.hh

Go to the documentation of this file.

#ifndef SC_LISTING_HH_
#define SC_LISTING_HH_

#include "ell/SC_Counting.hh"
#include <list>

namespace ell 
{
    
    class SC_Listing : public SC_Counting
    {
    public:
    
        typedef std::list<State*> List;
         
    protected:
    
        List stateList;
        
    public:
    
        SC_Listing();
        ~SC_Listing();

        virtual void add(const State& s);
        
        virtual size_t size() const;
         
        virtual const State* const getLastAdded() const;
        
    
        virtual const List& getList() const;
        
    };
} // namespace ell

#endif /*SC_LISTING_HH_*/