Alternative specialization of std::equal_to for pointer types. More...

#include <pointerOperations.h>

Public Member Functions
bool	operator() (const T &lhs, const T &rhs) const

Data Fields
std::equal_to< T >	eq

Detailed Description

template<typename T, bool mayBeNull = true>
struct carl::equal_to< T, mayBeNull >

Alternative specialization of std::equal_to for pointer types.

We consider two pointers equal, if they point to the same memory location or the objects they point to are equal. Note that the memory location may also be zero.

Definition at line 29 of file pointerOperations.h.

Member Function Documentation

◆ operator()()

template<typename T , bool mayBeNull = true>

bool carl::equal_to< T, mayBeNull >::operator()	(	const T &	lhs,
		const T &	rhs
	)		const

inline

Definition at line 31 of file pointerOperations.h.

Field Documentation

◆ eq

template<typename T , bool mayBeNull = true>

std::equal_to<T> carl::equal_to< T, mayBeNull >::eq

Definition at line 30 of file pointerOperations.h.

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

carl-common/util/pointerOperations.h

Public Member Functions