cprover
base_type.h
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: Base Type Computation
4
5
Author: Daniel Kroening, kroening@kroening.com
6
7
\*******************************************************************/
8
11
12
#ifndef CPROVER_UTIL_BASE_TYPE_H
13
#define CPROVER_UTIL_BASE_TYPE_H
14
15
#include "
deprecate.h
"
16
17
class
exprt
;
18
class
typet
;
19
class
namespacet
;
20
21
DEPRECATED
(
SINCE
(2019, 1, 22,
"Use == instead"
))
22
bool
base_type_eq
(
23
const
typet
&type1,
24
const
typet
&type2,
25
const
namespacet
&ns);
26
27
DEPRECATED
(
SINCE
(2019, 1, 22, "Use == instead"))
28
bool
base_type_eq
(
29
const
exprt
&expr1,
30
const
exprt
&expr2,
31
const
namespacet
&ns);
32
33
#endif // CPROVER_UTIL_BASE_TYPE_H
typet
The type of an expression, extends irept.
Definition:
type.h:29
exprt
Base class for all expressions.
Definition:
expr.h:53
namespacet
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
Definition:
namespace.h:92
deprecate.h
SINCE
#define SINCE(year, month, day, msg)
Definition:
deprecate.h:26
DEPRECATED
#define DEPRECATED(msg)
Definition:
deprecate.h:23
base_type_eq
bool base_type_eq(const typet &type1, const typet &type2, const namespacet &ns)
Check types for equality across all levels of hierarchy.
Definition:
base_type.cpp:290
util
base_type.h
Generated by
1.8.20