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
util
type_eq.h
Generated by
1.8.17