CBMC
Loading...
Searching...
No Matches
Public Attributes | List of all members
assignmentt Struct Referencefinal

Assignment from the rhs value to the lhs variable. More...

+ Collaboration diagram for assignmentt:
[フレーム]
[legend]

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:

AltStyle によって変換されたページ (->オリジナル) /