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_functionst
&,
20
const
namespacet
&,
21
std::ostream &out)
22
{
23
}
namespacet
TO_BE_DOCUMENTED.
Definition:
namespace.h:62
horn_encoding
void horn_encoding(const goto_functionst &, const namespacet &, std::ostream &out)
Definition:
horn_encoding.cpp:18
goto_functionst
Definition:
goto_functions.h:20
horn_encoding.h
Horn-clause Encoding.
goto-instrument
horn_encoding.cpp
Generated by
1.8.12