cprover
horn_encoding.cpp
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Horn-clause Encoding
4 
5 Author: Daniel Kroening
6 
7 Date: June 2015
8 
9 \*******************************************************************/
10 
13 
14 #include "horn_encoding.h"
15 
16 #include <ostream>
17 
19  const goto_functionst &,
20  const namespacet &,
21  std::ostream &out)
22 {
23 }
TO_BE_DOCUMENTED.
Definition: namespace.h:62
void horn_encoding(const goto_functionst &, const namespacet &, std::ostream &out)
Horn-clause Encoding.