cprover
Loading...
Searching...
No Matches
safety_checker.cpp
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: Safety Checker Interface
4
5
Author: Daniel Kroening, kroening@kroening.com
6
7
\*******************************************************************/
8
11
12
#include "
safety_checker.h
"
13
14
safety_checkert::safety_checkert
(
15
const
namespacet
&_ns,
16
message_handlert
&_message_handler):
17
messaget
(_message_handler),
18
ns(_ns)
19
{
20
}
message_handlert
Definition
message.h:27
messaget
Class that provides messages with a built-in verbosity 'level'.
Definition
message.h:154
namespacet
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
Definition
namespace.h:94
safety_checkert::safety_checkert
safety_checkert(const namespacet &_ns, message_handlert &_message_handler)
Definition
safety_checker.cpp:14
safety_checker.h
Safety Checker Interface.
goto-programs
safety_checker.cpp
Generated by
1.12.0