CBMC
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: