cprover
|
Comparator that regards base_type_eq expressions as equal, and otherwise uses the natural (operator<) ordering on irept. More...
Public Member Functions | |
base_type_comparet (const namespacet &ns) | |
base_type_comparet (const base_type_comparet &other) | |
base_type_comparet & | operator= (const base_type_comparet &other) |
bool | operator() (const exprt &e1, const exprt &e2) const |
Private Attributes | |
const namespacet & | ns |
Comparator that regards base_type_eq expressions as equal, and otherwise uses the natural (operator<) ordering on irept.
An expression is base_type_eq another one if their types, and types of their subexpressions, are identical except that one may use a symbol_typet while the other uses that type's expanded (namespacet::follow'd) form.
Definition at line 31 of file local_safe_pointers.h.
|
inlineexplicit |
Definition at line 36 of file local_safe_pointers.h.
|
inline |
Definition at line 41 of file local_safe_pointers.h.
bool local_safe_pointerst::base_type_comparet::operator() | ( | const exprt & | e1, |
const exprt & | e2 | ||
) | const |
Definition at line 277 of file local_safe_pointers.cpp.
References base_type_eq(), and ns.
|
inline |
Definition at line 46 of file local_safe_pointers.h.
|
private |
Definition at line 33 of file local_safe_pointers.h.
Referenced by operator()(), and operator=().