cprover
|
#include <local_may_alias.h>
Public Member Functions | |
bool | merge (const loc_infot &src) |
Public Attributes | |
alias_sett | aliases |
Definition at line 68 of file local_may_alias.h.
bool local_may_aliast::loc_infot::merge | ( | const loc_infot & | src | ) |
Definition at line 25 of file local_may_alias.cpp.
References aliases, unsigned_union_find::find(), unsigned_union_find::make_union(), unsigned_union_find::same_set(), and unsigned_union_find::size().
alias_sett local_may_aliast::loc_infot::aliases |
Definition at line 71 of file local_may_alias.h.
Referenced by local_may_aliast::assign_lhs(), local_may_aliast::build(), local_may_aliast::get_rec(), merge(), and local_may_aliast::output().