cprover
local_bitvector_analysist::loc_infot Class Reference

#include <local_bitvector_analysis.h>

Collaboration diagram for local_bitvector_analysist::loc_infot:
[legend]

Public Member Functions

bool merge (const loc_infot &src)
 

Public Attributes

points_tot points_to
 

Detailed Description

Definition at line 190 of file local_bitvector_analysis.h.

Member Function Documentation

◆ merge()

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

Definition at line 44 of file local_bitvector_analysis.cpp.

References points_to.

Member Data Documentation

◆ points_to

points_tot local_bitvector_analysist::loc_infot::points_to

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