cprover
|
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_idt > | identifierst |
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 namespacet & | ns |
identifierst | identifiers |
Definition at line 21 of file base_type.cpp.
|
protected |
Definition at line 49 of file base_type.cpp.
|
inlineexplicit |
Definition at line 24 of file base_type.cpp.
|
inlinevirtual |
Definition at line 40 of file base_type.cpp.
Definition at line 28 of file base_type.cpp.
References base_type_eq_rec(), union_find< T >::clear(), and identifiers.
Referenced by base_type_eq_rec().
Definition at line 34 of file base_type.cpp.
References base_type_eq_rec(), union_find< T >::clear(), and identifiers.
Definition at line 149 of file base_type.cpp.
References base_type(), struct_union_typet::components(), irept::get(), irept::id(), identifiers, symbolt::is_type, namespacet::lookup(), union_find< T >::make_union(), ns, code_typet::parameters(), irept::pretty(), code_typet::return_type(), array_typet::size(), to_array_type(), to_code_type(), to_incomplete_array_type(), to_pointer_type(), to_struct_union_type(), and symbolt::type.
Referenced by base_type_eq().
Definition at line 297 of file base_type.cpp.
References base_type_eq(), irept::get(), irept::id(), exprt::operands(), and exprt::type().
|
protected |
Definition at line 50 of file base_type.cpp.
Referenced by base_type_eq(), and base_type_eq_rec().
|
protected |
Definition at line 43 of file base_type.cpp.
Referenced by base_type_eq_rec().