ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
typecast.h
Go to the documentation of this file.
1
7
8#ifndef SOLIDITY_TYPECAST_H_
9#define SOLIDITY_TYPECAST_H_
10
11#include <util/symtab/namespace.h>
12#include <util/irep/std_expr.h>
13
14extern void
15solidity_gen_typecast(const namespacet &ns, exprt &dest, const typet &type);
16
17#endif /* SOLIDITY_TYPECAST_H_ */
exprt
Definition expr.h:34
namespacet
Definition namespace.h:10
typet
Definition type.h:9
solidity_gen_typecast
void solidity_gen_typecast(const namespacet &ns, exprt &dest, const typet &type)
Definition typecast.cpp:14
std_expr.h