cprover
type_eq.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Type equality
4 
5 Author: Daniel Kroening, kroening@kroening.com
6  Maria Svorenova, maria.svorenova@diffblue.com
7 
8 \*******************************************************************/
9 
12 
13 #ifndef CPROVER_UTIL_TYPE_EQ_H
14 #define CPROVER_UTIL_TYPE_EQ_H
15 
16 class namespacet;
17 class typet;
18 
19 bool type_eq(const typet &type1, const typet &type2, const namespacet &ns);
20 
21 #endif // CPROVER_UTIL_TYPE_EQ_H
typet
The type of an expression, extends irept.
Definition: type.h:27
namespacet
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
Definition: namespace.h:93
type_eq
bool type_eq(const typet &type1, const typet &type2, const namespacet &ns)
Check types for equality at the top level.
Definition: type_eq.cpp:31