main page namespaces classes files
ELL home

src/ell/SC_ListingCompr.hh

Go to the documentation of this file.

#ifndef SC_LISTINGCOMPR_HH_
#define SC_LISTINGCOMPR_HH_

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

namespace ell 
{
    
    class SC_ListingCompr : public SC_Counting
    {
    public:
    
        typedef std::list<CSequence> List;
         
    protected:
    
        List stateList;

    public:
    
        SC_ListingCompr();
        ~SC_ListingCompr();

        virtual void add(const State& s);
        
    
        virtual const List& getList() const;

    };
} // namespace ell

#endif /*SC_LISTINGCOMPR_HH_*/