symex_target_equationt::SSA_stept::output_datat Struct Reference

#include <symex_target_equation.h>

Public Attributes
std::string	format_string
std::list< expr2tc >	output_args
std::list< expr2tc >	converted_output_args

Member Data Documentation

converted_output_args

std::list<expr2tc> symex_target_equationt::SSA_stept::output_datat::converted_output_args

format_string

std::string symex_target_equationt::SSA_stept::output_datat::format_string

output_args

std::list<expr2tc> symex_target_equationt::SSA_stept::output_datat::output_args

---

The documentation for this struct was generated from the following file:

• src/goto-symex/equation/symex_target_equation.h