cprover
Loading...
Searching...
No Matches
horn_encoding.cpp
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Horn-clause Encoding
4
5Author: Daniel Kroening
6
7Date: 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}
void horn_encoding(const goto_modelt &, std::ostream &)
Horn-clause Encoding.