cprover
local_may_aliast::loc_infot Class Reference

#include <local_may_alias.h>

Collaboration diagram for local_may_aliast::loc_infot:
[legend]

Public Member Functions

bool merge (const loc_infot &src)
 

Public Attributes

alias_sett aliases
 

Detailed Description

Definition at line 68 of file local_may_alias.h.

Member Function Documentation

◆ merge()

bool local_may_aliast::loc_infot::merge ( const loc_infot src)

Member Data Documentation

◆ aliases

alias_sett local_may_aliast::loc_infot::aliases

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