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
18
void
horn_encoding
(
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
goto-instrument
horn_encoding.cpp
Generated by
1.8.20