cprover
Loading...
Searching...
No Matches
base_type.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Base Type Computation
4
5Author: 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
17class exprt;
18class typet;
19class namespacet;
20
21DEPRECATED(SINCE(2019, 1, 22, "Use == instead"))
22bool base_type_eq(
23 const typet &type1,
24 const typet &type2,
25 const namespacet &ns);
26
27DEPRECATED(SINCE(2019, 1, 22, "Use == instead"))
28bool base_type_eq(
29 const exprt &expr1,
30 const exprt &expr2,
31 const namespacet &ns);
32
33#endif // CPROVER_UTIL_BASE_TYPE_H
bool base_type_eq(const typet &type1, const typet &type2, const namespacet &ns)
Check types for equality across all levels of hierarchy.
Base class for all expressions.
Definition expr.h:54
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
Definition namespace.h:91
The type of an expression, extends irept.
Definition type.h:29
#define SINCE(year, month, day, msg)
Definition deprecate.h:26
#define DEPRECATED(msg)
Definition deprecate.h:23