assignmentt Struct Reference

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.
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