Definition at line 21 of file base_type.cpp.
◆ identifierst
◆ base_type_eqt()
base_type_eqt::base_type_eqt |
( |
const namespacet & |
_ns | ) |
|
|
inlineexplicit |
◆ ~base_type_eqt()
virtual base_type_eqt::~base_type_eqt |
( |
| ) |
|
|
inlinevirtual |
◆ base_type_eq() [1/2]
bool base_type_eqt::base_type_eq |
( |
const exprt & |
expr1, |
|
|
const exprt & |
expr2 |
|
) |
| |
|
inline |
◆ base_type_eq() [2/2]
bool base_type_eqt::base_type_eq |
( |
const typet & |
type1, |
|
|
const typet & |
type2 |
|
) |
| |
|
inline |
◆ base_type_eq_rec() [1/2]
bool base_type_eqt::base_type_eq_rec |
( |
const exprt & |
expr1, |
|
|
const exprt & |
expr2 |
|
) |
| |
|
protectedvirtual |
◆ base_type_eq_rec() [2/2]
bool base_type_eqt::base_type_eq_rec |
( |
const typet & |
type1, |
|
|
const typet & |
type2 |
|
) |
| |
|
protectedvirtual |
◆ identifiers
◆ ns
The documentation for this class was generated from the following file: