local_may_aliast::loc_infot Class Reference

#include <local_may_alias.h>

Collaboration diagram for local_may_aliast::loc_infot:

Public Member Functions
bool	merge (const loc_infot &src)

Public Attributes
alias_sett	aliases

Detailed Description

Definition at line 67 of file local_may_alias.h.

Member Function Documentation

merge()

bool local_may_aliast::loc_infot::merge

(

const loc_infot &

src

)

Returns

return 'true' iff changed

Definition at line 25 of file local_may_alias.cpp.

Member Data Documentation

aliases

alias_sett local_may_aliast::loc_infot::aliases

Definition at line 70 of file local_may_alias.h.

---

The documentation for this class was generated from the following files:

• /home/runner/work/cbmc/cbmc/src/analyses/local_may_alias.h
• /home/runner/work/cbmc/cbmc/src/analyses/local_may_alias.cpp