search_statistics.h

Go to the documentation of this file.

#ifndef SEARCH_STATISTICS_H
#define SEARCH_STATISTICS_H

#include <time.h>
#include <map>
#include "statistics.h"

class SearchStatistics
{
    public:
        SearchStatistics();
        ~SearchStatistics();

        int generated_states;

        void countChild(int openListIndex);

        void finishExpansion();
    
        void dump(unsigned int closedListSize, time_t & current_time);

    private:
        // internal counters per expansion
        std::map<int, int> childrenPerOpenList;  
        
        std::map<int, Statistics<double> > branchingFactors;    
        Statistics<double> overallBranchingFactor;

        int lastDumpClosedListSize;
        int lastDumpGeneratedStates;
        time_t lastDumpTime;
        time_t startTime;
};

#endif