#include <region_alias_templates.h>

Public Member Functions | |
| comp_aliased (const POINTS_TO *item, const ALIAS_RULE *ar) | |
| BOOL | operator() (const POINTS_TO *x) const |
Private Attributes | |
| const POINTS_TO * | _item |
| const ALIAS_RULE * | _ar |
Definition at line 55 of file region_alias_templates.h.
| comp_aliased::comp_aliased | ( | const POINTS_TO * | item, | |
| const ALIAS_RULE * | ar | |||
| ) | [inline] |
Definition at line 60 of file region_alias_templates.h.
Definition at line 62 of file region_alias_templates.h.
References _ar, _item, ALIAS_RULE::Aliased_Memop(), POINTS_TO::Copy_fully(), Is_True, NULL, and POINTS_TO::Reset_const().

const ALIAS_RULE* comp_aliased::_ar [private] |
Definition at line 58 of file region_alias_templates.h.
Referenced by operator()().
const POINTS_TO* comp_aliased::_item [private] |
Definition at line 57 of file region_alias_templates.h.
Referenced by operator()().
1.6.1