coverage_avoid.hh

/*
 * fMBT, free Model Based Testing tool
 * Copyright (c) 2012, Intel Corporation.
 *
 * This program is free software; you can redistribute it and/or modify it
 * under the terms and conditions of the GNU Lesser General Public License,
 * version 2.1, as published by the Free Software Foundation.
 *
 * This program is distributed in the hope it will be useful, but WITHOUT
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU Lesser General Public License for
 * more details.
 *
 * You should have received a copy of the GNU Lesser General Public License along with
 * this program; if not, write to the Free Software Foundation, Inc.,
 * 51 Franklin St - Fifth Floor, Boston, MA 02110-1301 USA.
 *
 */
#ifndef __coverage_avoid_hh__
#define __coverage_avoid_hh__

#include "coverage_exec_filter.hh"
#include "helper.hh"
#include <map>

class Coverage_avoid: public Coverage {
public:
  Coverage_avoid(Log&l,const std::string& params);

  virtual ~Coverage_avoid();

  virtual bool set_instance(int instance);

  virtual void push();
  virtual void pop();

  virtual bool execute(int action);
  virtual float getCoverage();

  virtual std::string stringify() { return std::string(""); }

  virtual int fitness(int* actions,int n, float* fitness);
  virtual void set_model(Model* _model);

protected:
  std::vector<std::pair<float,Coverage*> > h;
  int depth;
private:

};

#endif