cprover
|
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 |
Functor to check whether iterators from different collections point at the same object.
Definition at line 1163 of file goto_program.h.
|
inline |
Definition at line 1166 of file goto_program.h.