cprover
local_safe_pointerst::base_type_comparet Class Reference

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

+ Collaboration diagram for local_safe_pointerst::base_type_comparet:

Public Member Functions

 base_type_comparet (const namespacet &ns)
 
 base_type_comparet (const base_type_comparet &other)
 
base_type_comparetoperator= (const base_type_comparet &other)
 
bool operator() (const exprt &e1, const exprt &e2) const
 

Private Attributes

const namespacetns
 

Detailed Description

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.

Constructor & Destructor Documentation

◆ base_type_comparet() [1/2]

local_safe_pointerst::base_type_comparet::base_type_comparet ( const namespacet ns)
inlineexplicit

Definition at line 36 of file local_safe_pointers.h.

◆ base_type_comparet() [2/2]

local_safe_pointerst::base_type_comparet::base_type_comparet ( const base_type_comparet other)
inline

Definition at line 41 of file local_safe_pointers.h.

Member Function Documentation

◆ operator()()

bool local_safe_pointerst::base_type_comparet::operator() ( const exprt e1,
const exprt e2 
) const

Definition at line 275 of file local_safe_pointers.cpp.

◆ operator=()

base_type_comparet& local_safe_pointerst::base_type_comparet::operator= ( const base_type_comparet other)
inline

Definition at line 46 of file local_safe_pointers.h.

Member Data Documentation

◆ ns

const namespacet& local_safe_pointerst::base_type_comparet::ns
private

Definition at line 33 of file local_safe_pointers.h.


The documentation for this class was generated from the following files: