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 109 of file symex_assign.cpp.

Member Data Documentation

ssa_exprt assignmentt::lhs

Definition at line 111 of file symex_assign.cpp.

expr_skeletont assignmentt::original_lhs_skeleton

Skeleton to reconstruct the original lhs in the assignment.

Definition at line 113 of file symex_assign.cpp.

exprt assignmentt::rhs

Definition at line 114 of file symex_assign.cpp.

The documentation for this struct was generated from the following file:

/home/runner/work/cbmc-documentation/cbmc-documentation/src/goto-symex/symex_assign.cpp