ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
base_type_eqt Class Reference

#include <base_type.h>

Public Member Functions

 base_type_eqt (const namespacet &_ns)
bool base_type_eq (const type2tc &type1, const type2tc &type2)
bool base_type_eq (const typet &type1, const typet &type2)
bool base_type_eq (const expr2tc &expr1, const expr2tc &expr2)
virtual ~base_type_eqt ()=default

Protected Types

typedef union_find< irep_idt > identifierst

Protected Member Functions

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

Protected Attributes

const namespacet & ns
identifierst identifiers

Member Typedef Documentation

◆ identifierst

typedef union_find<irep_idt> base_type_eqt::identifierst
protected

Constructor & Destructor Documentation

◆ base_type_eqt()

base_type_eqt::base_type_eqt ( const namespacet & _ns)
inline

◆ ~base_type_eqt()

virtual base_type_eqt::~base_type_eqt ( )
virtualdefault

Member Function Documentation

◆ base_type_eq() [1/3]

bool base_type_eqt::base_type_eq ( const expr2tc & expr1,
const expr2tc & expr2 )
inline

◆ base_type_eq() [2/3]

bool base_type_eqt::base_type_eq ( const type2tc & type1,
const type2tc & type2 )
inline

◆ base_type_eq() [3/3]

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

◆ base_type_eq_rec() [1/3]

bool base_type_eqt::base_type_eq_rec ( const expr2tc & expr1,
const expr2tc & expr2 )
protectedvirtual

◆ base_type_eq_rec() [2/3]

bool base_type_eqt::base_type_eq_rec ( const type2tc & type1,
const type2tc & type2 )
protectedvirtual

◆ base_type_eq_rec() [3/3]

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

Member Data Documentation

◆ identifiers

identifierst base_type_eqt::identifiers
protected

◆ ns

const namespacet& base_type_eqt::ns
protected
The documentation for this class was generated from the following files: