assignmentt Struct Referencefinal
Assignment from the rhs value to the lhs variable. More...
Collaboration diagram for assignmentt:Public Attributes | |
| ssa_exprt | lhs |
| expr_skeletont | original_lhs_skeleton |
| Skeleton to reconstruct the original lhs in the assignment. More... | |
| exprt | rhs |
Detailed Description
Assignment from the rhs value to the lhs variable.
Definition at line 146 of file symex_assign.cpp.
Member Data Documentation
◆ lhs
| ssa_exprt assignmentt::lhs |
Definition at line 148 of file symex_assign.cpp.
◆ original_lhs_skeleton
| expr_skeletont assignmentt::original_lhs_skeleton |
Skeleton to reconstruct the original lhs in the assignment.
Definition at line 150 of file symex_assign.cpp.
◆ rhs
| exprt assignmentt::rhs |
Definition at line 151 of file symex_assign.cpp.
The documentation for this struct was generated from the following file:
- /home/runner/work/cbmc/cbmc/src/goto-symex/symex_assign.cpp
