src/ell/SC_Counting.hh
Go to the documentation of this file.00001 #ifndef SC_COUNTING_HH_ 00002 #define SC_COUNTING_HH_ 00003 00004 #include "ell/StateCollector.hh" 00005 00006 namespace ell 00007 { 00013 class SC_Counting : public StateCollector 00014 { 00015 protected: 00016 00018 State* lastAdded; 00020 size_t stateCount; 00021 00022 public: 00023 00024 SC_Counting(); 00025 00026 virtual 00027 ~SC_Counting(); 00028 00031 virtual void add(const State& s); 00032 00035 virtual size_t size() const; 00036 00039 virtual const State* const getLastAdded() const; 00040 00041 }; 00042 00043 } // namespace ell 00044 00045 #endif /*SC_COUNTING_HH_*/