#ifndef __FORENSICS_PATTERNMINSEARCHER_HH__
#define __FORENSICS_PATTERNMINSEARCHER_HH__

#include "forensics-gecode.hh"
#include "datasource.hh"
#include "minsearcher.hh"


class PatternMinSearcher : public MinSearcher 
{
protected:
  std::list<unsigned char> pattern;
  // std::fstream outfile;

public:
  PatternMinSearcher (std::list<unsigned char> pattern);

  virtual MinSearcherResult find_minimum (Gecode::Space& home, DataSource& ds, int64_t& lower, int64_t upper, int64_t& maxEnd);
};


extern uint64_t pointless_finds;

#endif
