// -*- mode: C++; c-file-style: "stroustrup"; c-basic-offset: 4; -*-
////////////////////////////////////////////////////////////////////
//
// $Id: pdb_heuristic.h 814 2011-09-10 12:44:37Z Sebastian Kupferschmid $
//
////////////////////////////////////////////////////////////////////

#ifndef PDB_HEURISTIC_H
#define PDB_HEURISTIC_H

#include "search/heuristic.h"
#include <inttypes.h>
#include <vector>

class State;
class Task;
class PDBHash;

class PDBHeuristic : public Heuristic {
private:
    std::vector<PDBHash*> pdbs;
public:
    PDBHeuristic(const Task* task, const Options* opts);
    virtual int32_t compute(const State* state);
};

#endif /* PDB_HEURISTIC_H */
