cprover
|
Value Set Propagation. More...
#include "value_set_analysis.h"
#include <util/prefix.h>
#include <util/cprover_prefix.h>
#include <util/xml_expr.h>
#include <util/xml.h>
#include <langapi/language_util.h>
Go to the source code of this file.
Functions | |
void | convert (const goto_functionst &goto_functions, const value_set_analysist &value_set_analysis, xmlt &dest) |
void | convert (const goto_programt &goto_program, const value_set_analysist &value_set_analysis, xmlt &dest) |
Value Set Propagation.
Definition in file value_set_analysis.cpp.
void convert | ( | const goto_functionst & | goto_functions, |
const value_set_analysist & | value_set_analysis, | ||
xmlt & | dest | ||
) |
Definition at line 84 of file value_set_analysis.cpp.
References value_set_analysist::convert(), xmlt::data, goto_functions_templatet< bodyT >::function_map, id2string(), and xmlt::new_element().
void convert | ( | const goto_programt & | goto_program, |
const value_set_analysist & | value_set_analysis, | ||
xmlt & | dest | ||
) |
Definition at line 102 of file value_set_analysis.cpp.
References value_set_analysist::convert(), and xmlt::new_element().