cprover
|
Horn-clause Encoding. More...
Go to the source code of this file.
Functions | |
void | horn_encoding (const goto_functionst &, const namespacet &, std::ostream &out) |
Horn-clause Encoding.
Definition in file horn_encoding.cpp.
void horn_encoding | ( | const goto_functionst & | , |
const namespacet & | , | ||
std::ostream & | out | ||
) |
Definition at line 18 of file horn_encoding.cpp.
Referenced by goto_instrument_parse_optionst::doit().