cprover
type_eq.h
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module:
4
5
Author: Daniel Kroening, kroening@kroening.com
6
7
\*******************************************************************/
8
9
10
#ifndef CPROVER_UTIL_TYPE_EQ_H
11
#define CPROVER_UTIL_TYPE_EQ_H
12
13
class
namespacet
;
14
class
typet
;
15
16
bool
type_eq
(
const
typet
&type1,
const
typet
&type2,
const
namespacet
&ns);
17
18
#endif // CPROVER_UTIL_TYPE_EQ_H
typet
The type of an expression.
Definition:
type.h:22
namespacet
TO_BE_DOCUMENTED.
Definition:
namespace.h:74
type_eq
bool type_eq(const typet &type1, const typet &type2, const namespacet &ns)
Definition:
type_eq.cpp:18
util
type_eq.h
Generated by
1.8.14