cprover
base_type_eqt Class Reference
+ Collaboration diagram for base_type_eqt:

Public Member Functions

 base_type_eqt (const namespacet &_ns)
 
bool base_type_eq (const typet &type1, const typet &type2)
 
bool base_type_eq (const exprt &expr1, const exprt &expr2)
 
virtual ~base_type_eqt ()
 

Protected Types

typedef union_find< irep_idtidentifierst
 

Protected Member Functions

virtual bool base_type_eq_rec (const typet &type1, const typet &type2)
 
virtual bool base_type_eq_rec (const exprt &expr1, const exprt &expr2)
 

Protected Attributes

const namespacetns
 
identifierst identifiers
 

Detailed Description

Definition at line 21 of file base_type.cpp.

Member Typedef Documentation

◆ identifierst

Definition at line 49 of file base_type.cpp.

Constructor & Destructor Documentation

◆ base_type_eqt()

base_type_eqt::base_type_eqt ( const namespacet _ns)
inlineexplicit

Definition at line 24 of file base_type.cpp.

◆ ~base_type_eqt()

virtual base_type_eqt::~base_type_eqt ( )
inlinevirtual

Definition at line 40 of file base_type.cpp.

Member Function Documentation

◆ base_type_eq() [1/2]

bool base_type_eqt::base_type_eq ( const exprt expr1,
const exprt expr2 
)
inline

Definition at line 34 of file base_type.cpp.

◆ base_type_eq() [2/2]

bool base_type_eqt::base_type_eq ( const typet type1,
const typet type2 
)
inline

Definition at line 28 of file base_type.cpp.

◆ base_type_eq_rec() [1/2]

bool base_type_eqt::base_type_eq_rec ( const exprt expr1,
const exprt expr2 
)
protectedvirtual

Definition at line 254 of file base_type.cpp.

◆ base_type_eq_rec() [2/2]

bool base_type_eqt::base_type_eq_rec ( const typet type1,
const typet type2 
)
protectedvirtual

Definition at line 123 of file base_type.cpp.

Member Data Documentation

◆ identifiers

identifierst base_type_eqt::identifiers
protected

Definition at line 50 of file base_type.cpp.

◆ ns

const namespacet& base_type_eqt::ns
protected

Definition at line 43 of file base_type.cpp.


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