cprover
base_type_eqt Class Reference

#include <base_type.h>

Collaboration diagram for base_type_eqt:
[legend]

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 32 of file base_type.h.

Member Typedef Documentation

§ identifierst

Definition at line 60 of file base_type.h.

Constructor & Destructor Documentation

§ base_type_eqt()

base_type_eqt::base_type_eqt ( const namespacet _ns)
inlineexplicit

Definition at line 35 of file base_type.h.

§ ~base_type_eqt()

virtual base_type_eqt::~base_type_eqt ( )
inlinevirtual

Definition at line 51 of file base_type.h.

Member Function Documentation

§ base_type_eq() [1/2]

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

Definition at line 39 of file base_type.h.

References base_type_eq_rec(), union_find< T >::clear(), and identifiers.

Referenced by base_type_eq(), and base_type_eq_rec().

§ base_type_eq() [2/2]

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

Definition at line 45 of file base_type.h.

References base_type_eq_rec(), union_find< T >::clear(), and identifiers.

§ base_type_eq_rec() [1/2]

§ base_type_eq_rec() [2/2]

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

Definition at line 241 of file base_type.cpp.

References base_type_eq(), irept::get(), irept::id(), exprt::operands(), and exprt::type().

Member Data Documentation

§ identifiers

identifierst base_type_eqt::identifiers
protected

Definition at line 61 of file base_type.h.

Referenced by base_type_eq(), and base_type_eq_rec().

§ ns

const namespacet& base_type_eqt::ns
protected

Definition at line 54 of file base_type.h.

Referenced by base_type_eq_rec().


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