cprover
build_analyzer.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Goto-Analyzer Command Line Option Processing
4 
5 Author: Martin Brain, martin.brain@cs.ox.ac.uk
6 
7 \*******************************************************************/
8 
9 #ifndef CPROVER_GOTO_ANALYZER_BUILD_ANALYZER_H
10 #define CPROVER_GOTO_ANALYZER_BUILD_ANALYZER_H
11 
12 #include <memory>
13 
14 class ai_baset;
15 class goto_modelt;
16 class namespacet;
17 class optionst;
18 
29 std::unique_ptr<ai_baset> build_analyzer(
30  const optionst &options,
31  const goto_modelt &goto_model,
32  const namespacet &ns);
33 
34 #endif // CPROVER_GOTO_ANALYZER_GOTO_ANALYZER_PARSE_OPTIONS_H
optionst
Definition: options.h:23
goto_modelt
Definition: goto_model.h:26
namespacet
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
Definition: namespace.h:92
build_analyzer
std::unique_ptr< ai_baset > build_analyzer(const optionst &options, const goto_modelt &goto_model, const namespacet &ns)
Build an abstract interpreter configured by the options.
Definition: build_analyzer.cpp:33
ai_baset
This is the basic interface of the abstract interpreter with default implementations of the core func...
Definition: ai.h:120