cprover
Loading...
Searching...
No Matches
static_simplifier.h File Reference
#include <iosfwd>
+ Include dependency graph for static_simplifier.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

bool static_simplifier (goto_modelt &, const ai_baset &, const optionst &, message_handlert &, std::ostream &)
 Simplifies the program using the information in the abstract domain.
 

Function Documentation

◆ static_simplifier()

bool static_simplifier ( goto_modelt & goto_model,
const ai_baset & ai,
const optionst & options,
message_handlert & message_handler,
std::ostream & out )

Simplifies the program using the information in the abstract domain.

Parameters
goto_modelthe program analyzed
aithe abstract interpreter after it has been run to fix point
optionsthe parsed user options
message_handlerthe system message handler
outoutput stream for the simplified program
Returns
false on success with the domain printed to out

Definition at line 29 of file static_simplifier.cpp.