build_analyzer.h

Go to the documentation of this file.

/*******************************************************************\
 
Module: Goto-Analyzer Command Line Option Processing
 
Author: Martin Brain, martin.brain@cs.ox.ac.uk
 
\*******************************************************************/
 
#ifndef CPROVER_GOTO_ANALYZER_BUILD_ANALYZER_H
#define CPROVER_GOTO_ANALYZER_BUILD_ANALYZER_H
 
#include <memory>
 
class ai_baset;
class goto_modelt;
class namespacet;
class optionst;
class message_handlert;
 
std::unique_ptr<ai_baset> build_analyzer(
  const optionst &options,
  const goto_modelt &goto_model,
  const namespacet &ns,
  message_handlert &mh);
 
#endif // CPROVER_GOTO_ANALYZER_GOTO_ANALYZER_PARSE_OPTIONS_H