cprover
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 
15  ns(_ns)
16 {
17 }
18 
20  const namespacet &_ns,
21  message_handlert &_message_handler):
22  messaget(_message_handler),
23  ns(_ns)
24 {
25 }
safety_checkert(const namespacet &_ns)
TO_BE_DOCUMENTED.
Definition: namespace.h:62
Safety Checker Interface.