12 #ifndef CPROVER_GOTO_SYMEX_SLICE_H 13 #define CPROVER_GOTO_SYMEX_SLICE_H 29 typedef std::unordered_set<irep_idt, irep_id_hash>
symbol_sett;
35 #endif // CPROVER_GOTO_SYMEX_SLICE_H Generate Equation using Symbolic Execution.
std::unordered_set< irep_idt, irep_id_hash > symbol_sett
void simple_slice(symex_target_equationt &equation)
void collect_open_variables(const symex_target_equationt &equation, symbol_sett &open_variables)
Collect the open variables, i.e.
std::list< exprt > expr_listt
void slice(symex_target_equationt &equation)