Comparator that regards type-equal expressions as equal, and otherwise uses the natural (operator<) ordering on irept. More...

Public Member Functions
bool	operator() (const exprt &e1, const exprt &e2) const

Detailed Description

Comparator that regards type-equal expressions as equal, and otherwise uses the natural (operator<) ordering on irept.

Definition at line 31 of file local_safe_pointers.h.

Member Function Documentation

bool local_safe_pointerst::type_comparet::operator()	(	const exprt &	e1,
		const exprt &	e2
	)		const

inline

Definition at line 33 of file local_safe_pointers.h.

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