#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 |
[out] | open_variables | target set |
Definition at line 141 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]
◆ slice() [2/3]
◆ slice() [3/3]
◆ slice_assignment()
◆ slice_decl()
◆ depends
The documentation for this class was generated from the following files: