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