generalization.h

Go to the documentation of this file.

/*******************************************************************\
 
Module: Generalization
 
Author: Daniel Kroening, dkr@amazon.com
 
\*******************************************************************/
 
 
#ifndef CPROVER_CPROVER_GENERALIZATION_H
#define CPROVER_CPROVER_GENERALIZATION_H
 
#include "solver_types.h" // IWYU pragma: keep
 
class solver_optionst;
 
void generalization(
  std::vector<framet> &frames,
  const workt &dropped,
  const propertyt &,
  const solver_optionst &);
 
#endif // CPROVER_CPROVER_GENERALIZATION_H