pointee_address_equalt Struct Reference

Functor to check whether iterators from different collections point at the same object. More...

#include <goto_program.h>

Public Member Functions
template<class A, class B>
bool	operator() (const A &a, const B &b) const

Detailed Description

Functor to check whether iterators from different collections point at the same object.

Member Function Documentation

operator()()

template<class A, class B>

bool pointee_address_equalt::operator() ( const A & a, const B & b ) const

inline

---

The documentation for this struct was generated from the following file:

• src/goto-programs/goto_program.h