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_modelt &,
20  std::ostream &)
21 {
22 }
horn_encoding
void horn_encoding(const goto_modelt &, std::ostream &)
Definition: horn_encoding.cpp:18
horn_encoding.h
Horn-clause Encoding.
goto_modelt
Definition: goto_model.h:26