#include <symex_slice_class.h>
Definition at line 18 of file symex_slice_class.h.
◆ collect_open_variables()
Collect the open variables, i.e., variables that are used in RHS but never written in LHS.
- Parameters
-
equation | symex trace |
open_variables | target set |
- Returns
- None. But open_variables is modified as a side-effect.
Definition at line 142 of file slice.cpp.
◆ get_symbols() [1/2]
void symex_slicet::get_symbols |
( |
const exprt & |
expr | ) |
|
|
protected |
◆ get_symbols() [2/2]
void symex_slicet::get_symbols |
( |
const typet & |
type | ) |
|
|
protected |
◆ slice() [1/3]
void symex_slicet::slice |
( |
SSA_stept & |
SSA_step | ) |
|
|
protected |
◆ slice() [2/3]
◆ slice() [3/3]
◆ slice_assignment()
void symex_slicet::slice_assignment |
( |
SSA_stept & |
SSA_step | ) |
|
|
protected |
◆ slice_decl()
void symex_slicet::slice_decl |
( |
SSA_stept & |
SSA_step | ) |
|
|
protected |
◆ depends
The documentation for this class was generated from the following files: