hardness_collector.h

Go to the documentation of this file.

/*******************************************************************\
 
Module: Capability to collect the statistics of the complexity of individual
        solver queries.
 
Author: Diffblue Ltd.
 
\*******************************************************************/
 
 
#ifndef CPROVER_SOLVERS_HARDNESS_COLLECTOR_H
#define CPROVER_SOLVERS_HARDNESS_COLLECTOR_H
 
#include <solvers/prop/literal.h>
 
#include <memory>
 
struct solver_hardnesst;
 
class clause_hardness_collectort
{
public:
  virtual void register_clause(
    const bvt &bv,
    const bvt &cnf,
    const size_t cnf_clause_index,
    bool register_cnf) = 0;
 
  virtual ~clause_hardness_collectort()
  {
  }
  virtual ~clause_hardness_collectort() {…}
};
class clause_hardness_collectort {…};
 
class hardness_collectort
{
public:
  std::unique_ptr<clause_hardness_collectort> solver_hardness;
};
class hardness_collectort {…};
 
#endif // CPROVER_SOLVERS_HARDNESS_COLLECTOR_H