cprover
|
#include <local_bitvector_analysis.h>
Public Member Functions | |
bool | merge (const loc_infot &src) |
Public Attributes | |
points_tot | points_to |
Definition at line 190 of file local_bitvector_analysis.h.
bool local_bitvector_analysist::loc_infot::merge | ( | const loc_infot & | src | ) |
Definition at line 44 of file local_bitvector_analysis.cpp.
References points_to.
points_tot local_bitvector_analysist::loc_infot::points_to |
Definition at line 193 of file local_bitvector_analysis.h.
Referenced by local_bitvector_analysist::assign_lhs(), local_bitvector_analysist::get_rec(), merge(), and local_bitvector_analysist::output().